This appendix describes in functional terms the operation of a server.
Note that descriptions of server outputs naturally and unavoidably refer to certain kinds of inputs and vice versa. This makes it difficult to create definitions without forward and backward cross-references. Please be prepared to read this specification with a virtual thumb between the pages as you flip back and forth from the output to the input sections.