A possible minor optional refinement. Instead of:
<span id="Wire-byte-protocol-1"></span>
<h3 class="section">Wire byte protocol</h3>
the following is marginally nicer:
<h3 id="Wire-byte-protocol-1" class="section">Wire byte protocol</h3>
Totally not important.
(Certainly not enough for me to try to figure out how to do it ...)
--
--Per Bothner
[email protected] http://per.bothner.com/
