Embed Notice

@rk The short version is: we used to be all-Solaris (90s, early 00s), started switching to Linux servers for user-facing things circa 2006 but kept Solaris and then OmniOS for (ZFS) fileservers, and eventually semi-regretfully switched from OmniOS to Ubuntu ZFS fileservers in 2018.

(The pre-90s history is even more confusing depending on which bits of the department you look at. And eg the graphics people had lots of SGI for a long time, as you'd expect.)