With the move to cloud services, governments may gravitate towards CentOS (which is based on RHEL)...