http_setUserAgent(3) on Linux

The text 216632a4f82e, as Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it. The page shows this text now.

Changes the User Agent shown to the server during an HTTP GET request.