[7402]

I've happily been a paid user on macOS for years, I would guess the number of paid users there was able to fund the Linux development.