He doesn't need to list it. bitnodes has picked it up a while ago.

https://getaddr.bitnodes.io/nodes/83.212.119.206-8333/