Re: getting all the request headers

Lovely - if that's true, then everything I need is there. 

Once again, it seems to be a lack of clarity of documentation instead of anything in the code.

Here's the relevant passage from section 3.10 of manual 'Request Format':

Reads an HTTP request from Stream and unify Request with the parsed request. Request is a list of Name(Value) elements. It provides a number of predefined elements for the result of parsing the first line of the request, followed by the additional request parameters. The predefined fields are:


... and then goes on to list the predefined fields.

My tea leaf reading wasn't sufficient to understand that the list of Name(Value) pairs was a complete set of headers. I suspected, but didn't know, and needed an authoritative answer in this case.