This hostname is going in dozens of remote config files. Changing a kid's name is comparatively easy!