3 ms·

Maybe if there were a DNS record for a SSH port number it could work? Separate port per server, not terrible.