I did just see it was ditto.pub/relay on his list. I didn't realize that at first but maybe someone just has it wrong.

How do you test it? We connect from the push notification server and ask for a limit:1 filter. If the server doesn't not reply with anything in 30s we consider it offline/too busy..