We just deployed a fix for missing servers due to a bug in our Nodeinfo crawler!

We're also working on a new self-submission form so you can easily add your server.