In case anyone wants to know: starting today I am a Red Hat employee.

It's nice if the first day on the new job is a public holiday.