GLOBUS_PROXY_FILE_OUTPUT(3) on Linux

The text 17c4559c1995, as Debian 13 (Trixie) shipped it. The page shows this text now.

Data Types - Data Types.

GLOBUS_PROXY_FILE_OUTPUT(3) on Linux now