On 2/20/21 12:34 PM, Gavin Smith wrote:
On Tue, Feb 16, 2021 at 12:40 AM Per Bothner <[email protected]> wrote:
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 ...)
Ideally there would be no id output at all but I don't want to figure
it out just now, in case there is a link to that anchor from
somewhere. I tried the change at the bottom of this email which
produces good results in most, but not all cases. It is aggravating
when you see that output and you think it would be much better with
the other output, but it is risky, I think, to take out an id in one
place and put it in in another place. The risk is that either we get
two identical ids (which is wrong), or a link to a missing id (also
wrong). I would like to leave this issue just now as the output is not
actually broken.
Sure. It's at worst a minor aesthetic nit, and I agree it makes sense
to leave it as-is until we figure out what the link is used for, if anything.
--
--Per Bothner
[email protected] http://per.bothner.com/
