For those who don't read the thread: the original poster attempts to assert that the OFL is not being followed correctly because US government employees cannot

For those who don't read the thread: the original poster attempts to assert that the OFL is not being followed correctly because US government employees cannot copyright (in the United States, that is--they need not be elsewhere, which is something often forgotten) governmental work. My non-lawyery, albeit experienced with IP management and the open-source licensing rabbit hole, assessment is that that makes very little sense. The OFL states that derivative works must be under the OFL--they cannot be released under "any other license"--but assignment to the public domain isn't a license, while from a permissive perspective the OFL is a subset of the permissions granted via public domain. Public Sans is a derivative of Libre Franklin, which is licensed under the OFL; derivatives likewise are necessarily OFL even if changes made by US government employees are public domain. I seem to recall from other libre font discussions that @mbutterick (the OP) has something of an axe to grind about libre fonts in general, though I don't recall specifics.