Scripts Pony: manage hostnames for scripts.mit.edu.