Looking closely at document2html (in common) I have my doubts about the usefulness of translating every id-attribute into an html-anchor (<a name="..."/>) element. Especially when I start using ids for CSS, it means that this drastically increases the volume of the final page by creating lots of anchors that nobody needs.
Wouldn't it make more sense to limit this anchor-processing of id-attributes to a few structural elements like headings and just copy the id without processing for all other elements? After all if someone needs additional navigation, they could always place anchor elements where needed. If nobody objects I'd probably try and work on that change when I get back next week. -- Ferdinand Soethe
