As an actual Red Hat employee (also someone who has seen Paul C both at a distance and close up for over a decade), it's a healthy and happy workplace. Also Paul has been effectively doing day to day running of Red Hat as long as I've been here, so I don't expect that much to change.