This would make a perfect example of a great, legitimate use for a public ledger which _isn't_ cryptocurrency, and it seems like a no-brainer decision. The devil in the details is preventing conflicts: with github, a relative few are responsible for accepting PRs, which gives a point of control that effectively functions as a DB unique ID constraint on NIP IDs. How do you decentralize this and continue to prevent NIP ID conflicts?