I agree that 20% is too little, considering that works by the federal government are supposed to be in automatic public domain[0].
[0] https://en.wikipedia.org/wiki/Copyright_status_of_work_by_th...
[0] https://en.wikipedia.org/wiki/Copyright_status_of_work_by_th...