So why is Rocky Linux as the 'project?' trying to indicate they still go to space: https://mastodon.social/@rockylinux@fosstodon.org/110624476511494685 https://

So why is Rocky Linux as the 'project?' trying to indicate they still go to space: https://mastodon.social/@rockylinux@fosstodon.org/110624476511494685 https://mastodon.social/@rockylinux@fosstodon.org/1106244765..., referring to the 3 person seat, 2 year premium support 'they' sold to NASA? https://news.ycombinator.com/item?id=36417968 https://news.ycombinator.com/item?id=36417968 https://sam.gov/opp/2e0365ce1e3c4c179b50fb15573d68e4/view https://sam.gov/opp/2e0365ce1e3c4c179b50fb15573d68e4/view