This is nice to have for debugging. While here, also cleaned up a bunch of unnecessary noise in `write_server_info()`.