Omg. @badnetmask is leaving redhat 😱