My guess is it was stored in a document management system[0] and then checked out locally to that path.

[0] https://en.wikipedia.org/wiki/Document_management_system

The US Congress uses Windows. The basename is the Bill ID.

Probably downloaded from a server and then printed to PDF.