bug#22234: 25.0.50; EWW doesn't display some links in GNU manuals

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: 22234@debbugs.gnu.org
> Date: Fri, 25 Dec 2015 18:22:12 +0100
> 
> What stumped me was this:
> 
> Remote-Configuration.html#set%20remote%20exec%2dfile
> 
> The anchor here is "set remote exec-file", and it didn't go there in the
> final page.  But there is no such anchor there!  There's a 
> 
> <a name="set-remote-exec_002dfile">
> 
> anchor there, though.  Is this a bug on the web pages?

I'm not an HTML expert, but aren't you supposed to use the part after
the hash in the original link, not the redirecting one?