What about the Project 2025 plan to force all government servers to run red hat linux?