Once called the Government Printing Office, lawmakers renamed the agency to the Government Publishing Office in 2014, in deference to its increasingly digital mission. While skilled printers still ...