Hatman server

1 recorded match played here. This is the name the server advertised to joining clients — several different machines can wear the same name over the years, so treat it as a name, not a host.