So Mr. Tiddles is out, then? Did you know there’s official Internet guidance (an RFC) on what name you should give your computer?