

No, what you say makes sense, and I think it’s part of the reason why linux usage (as a daily driver) is starting to increase now versus 20 years ago. It’s just easier to install and use linux distros nowadays.
And most folks who want office for free are going to go with google docs, for the convenience factor.
The other option is that the supreme court undoes a prior decision, like they did to roe v. wade. Texas v. Johnson was only a 5-4 decision (To be clear, I think this would be awful as well, but it is likely how the admin plans to enforce this, assuming they have a plan).