Comment by porphyra

Works created by U.S. federal government employees as part of their official duties are in the public domain, according to 17 U.S.C. § 105, except for classified or restricted information (but none of what he posted is classified or restricted)