Subject: RE: bug#20815: 25.0.50; doc of `null'

From: Drew Adams <[email-masked]>
Date: Sun, 14 Jun 2015 22:33:51 -0700 (PDT)

> > Somehow, the hyphen got translated to `_002d', unhelpfully.
> 
> Hex 2d is the codepoint of the hyphen.  Makeinfo converts all
> punctuation characters like that, so the only hyphens left in the
> node's name are those that were spaces before.
> 
> IOW, it's a feature.

Too bad, but OK.  It's unrelated to this bug, anyway.