http_request_time: document the timeout option

Followup on #345.