I'm still amazed that governments are using proprietary software like Windows. Custom GNU/Linux operating systems and other tools seem so obvious to me at the nation state level. It seems reasonable to want to control your stack as much as possible. I'm not sure how one does that using an OS that could have backdoors included by any number of other states where the software is sold and used.