Comment by larksimian

Our servers run Ubuntu. In practice it doesn't make that much of a difference I assume, but why diverge at all if I don't have to. I have separate laptops for work and personal anyway.