Indeed. TBH if I was running a Google- or even OpenAI-scale company (3000+ devices) I'd probably invest into creating a useful Linux distribution and hardware configuration myself (at that scale, it could maybe start to make sense).
Red Hat had most employees running a custom corporate RHEL build or Fedora on Thinkpads prior to 2018 or so, and even then most employees moved to Mac as soon as they were allowed to do so.
I was a true Linux believer, and I still switched to a Mac because I needed things to just work. Poor battery life, awful HiDPI support, strange driver issues all contributed. Yes, I could fix them. I opened bugs and could talk to the engineers responsible to get things fixed ASAP. Even so, it was a second full time job keeping up with it.
10 years ago Google had Goobuntu internally.