Have you looked at the upper left hand title bar? I'm on V5 and it displays my DNS name there. Helps me keep up with which server I'm on.