Continued with writing the user's manual. Added a timestamp to the service registry status output. Checked for existing services twice during a ping, in case the first check failed when it shouldn't.