In this case, it’s an enthusiastic employee working for his own benefit, being able to play the game on his preferred OS. And thankfully recognized and supported by the company.

I think Discord and Spotify are similar situations. The companies don’t particular care, but a few employees wanted it and made it happen.