#768: Escape IP addresses when displaying them.