Just cleaning up various cruft, was removing old useless projects from our main git repos, here's one that I've put on github to preserve: hoboprox. That was useful, for a while!