The ban applies only to government employees. Furthermore, most people are not U.S. citizens. So they can use whatever they want.