I mean, leaving aside their surveillance tasks, it’s still their job to ensure national security. It’s in their best interest to keep at least themselves and their nation safe, and considering how prevalent Linux is on servers, they likely saw a net benefit this way. They even open sourced their reverse engineering toolkit Ghidra in a similar vein
And we’re all the better for it! Needs polish and development of course, but it’s a decent alternative already