That was before copyleft was a thing. Many European governments are now requiring tax funded software to be copyleft.

There are exceptions to that law, such as the USPS. Sounds like we need to contact our legislators to get the law updated

Licensing CC0 is just subsidizing corporations at the expense of tax payers. It should be copyleft because it was funded publicly