1. The document title is already unique, using the special HTML
element designed for titles: <title>. The problem is that it also
contains context information: the document name, the wiki description
2. Nothing prohibits using several H1 elements, so we should not make
= generate H2. We were doing this a while ago, but we reverted this
behavior.
3. Using a div for the title is much worse than having several H1
elements, one of which is the title. If we want to make it special,
using a plain div only does the exact opposite.
4. Using javascript is bad. JS should NEVER be used for basic
functionality, only for enhancements.
In conclusion, the best approach IMO is the following:
- Leave the title as a H1 as it is now, inside a <div
id="document-title">
- Don't change the current heading behavior, i.e. =XYZ= generates a H1
- Serverside, trim the first H1 element from the rendered content,
which is exactly what gets sent to the client (thanks Marta for the
idea)
Question: do we remove the first heading only when it is the same as
the document title (or when the title is empty), or do we always
remove it?