Who runs https://nips.be? It was down for a while but I’m so glad it’s back up because I use it every day. You can put the number of a NIP in, like https://nips.be/1, and it will pull up NIP-01. And if there isn’t a NIP with that number it will search for PRs with that number.