It was spun off way back in '96 or '97 or so, then went through some acquisitions.

Bah, that was at the *new* office... I was employee #1 there (the first guy who didn't have a stake in the company) - installing BSDi, finally getting a terminal server instead of a big multi-serial-port card... twist-tying modems to pegboard... setting up the Metaverse... serial.io.com, eie.io.com, ... gopher and archie and ftp... signup scripts cobbled together in perl. EFF-Austin and Ho-Ho Con... the world and the internet were very different places back then.