Notification from Beta site for removed server

I removed server 212.83.179.156 some time ago (to be deleted on Nov 21).
I got an email it was not responding (normal)
pool.ntp.org: Statistics for 212.83.179.156 shows me the server score (-100)
but pool.ntp.org: the internet cluster of ntp servers does not show me any server that I could delete.

Hi Erwan,

The beta site has a separate database / registration from the production site. The IP isn’t deleted on the beta system.

It did show up for me on the beta manage site in your account, so I marked it deleted now. It’s weird it didn’t show for you!

(I noticed you have two logins on the beta site, the email login and a different one via another login method – you can add each login to the “other” account via the “manage account team” link).