Those things are also not proprietary to any one company. Outsourcing labor to make generic things we could obtain elsewhere is not the same thing as teaching tools only one company controls.

We should not use schools to further the vendor-lock-in of corporations.

Private companies can develop software with government data rights. Hosting isn’t free but they pay for an n-year contract with support and can find another vendor for the software and hosting in n years if they want. That’s a good collaboration between govt and industry, governments should insist on stuff like this so they retain ownership over what they paid for, as much as possible.

Using those things doesn't require that the students enter into a contract with the contractor, doesn't seem comparable.

Except the pesky difference that in other cases the school/gov purchases a product for students while in this case it pays nothing and supplies students as the product.