HIs office is also where he stores his scuba equipment, a 3D printer, a collection of stuffed animal Linux penguin mascots (the mascot is named Tux), and a framed picture of a Scott Adams Dilbert ...