re: #42 klys

In a play on my dad’s initials, all the computers in the lab that he works in primarily are named after DC comic book heroes.

The best computer naming scheme I’ve personally seen was at a computer startup where the various machines were named after defunct computer companies.