That's the important bit. Government can't do such a thing, but a public company can - it's not restrained by the Bill of Rights. Even though courts have voided the order, they can't tell companies what to do and in effect the courts' decision is being ignored. This precedent is dangerous. Soon all these corps demand to get a booster every 6 months (regardless of whether you gobto office) and you'll have to comply, unless you're rich.