[killjoywashere]

Red Hat powers a bunch of USG supercomputer systems, I suspect their revenue without that would be difficult to sustain.