Why would they lie? Hacker News simply has this bizarre blind spot about what Fortune 500 companies do and what computers are that run Linux. One of their biggest customers is Chick-fil-a using k3s for the their point-of-sale network. I'm sure there are approximately zero employees interacting with the system that realize that, but it's still there.
Also, from my own experience, SUSE used to have nearly all of the US geointelligence processing because of the HPC connection mentioned elsewhere with CrayOS, but that went away when DNI forced everyone onto the CIA's private AWS service, which only had RHEL AMIs available. The national labs and more niche intelligence processing that can't run in the kinds of machines AWS provides still make heavy use of it.
Also, from my own experience, SUSE used to have nearly all of the US geointelligence processing because of the HPC connection mentioned elsewhere with CrayOS, but that went away when DNI forced everyone onto the CIA's private AWS service, which only had RHEL AMIs available. The national labs and more niche intelligence processing that can't run in the kinds of machines AWS provides still make heavy use of it.