Make WebServerUid turn itself into a string reasonably; version 1.0.1.