As the documents were produced by the government, they are unequivocally in the public domain. You can't be called out for copying them under copyright law. On

As the documents were produced by the government, they are unequivocally in the public domain. You can't be called out for copying them under copyright law. One of the nicest things about the US copyright system is the rule that things produced by the US government are in the public domain. That is very much not the case in all countries. In the UK, the government does own the copyright on the things they produce, and they commercially sell it. OpenStreetMap started in the UK because the government produced maps (by the Ordenance Survey) were very heavily copyrighted.