The ban only applies to government devices. Government employees and military personnel can still have it on their personal devices, just that no one can install on a government device. Which really has me wondering, was that an option originally? Did I squander an opportunity to browse reddit all day from my government machine instead of “working”?