Description of Problem:

According to the HTML specification ID attributes can be used as anchors to
jump to.  So basically

<a href="#later">Go a bit down</a>

<h1><a name="later">Yes</a></h1>

and

<a href="#later">Go a bit down</a>

<h1 id="later">Yes</h1>

are practically having the same meaning...

While checking the code for gtkhtml 3.1.8, I saw that the value of "id"
attribute is only used for <a> elements, for others it's just ignored.

Have this functionality been considered at all? And, if yes, is it going to
be implemented?