#[0] if you are bored and have nothing else to do in your life, here's one suggestion for https://nips.be/: when we try a NIP number that doesn't exist, search all the open pull-requests and redirect to the one that is targeting that NIP number.