http_request_time: document the timeout option