If you need to figure out what is the real, routable ip address of the server you just logged into here is a quick and dirty trick:
curl ipinfo.io/ip
This will work as long as ipinfo.io continues to work.