Suggest appending Node name to HTML doc titles

[Bengt Richter <bokr at oz dot net>]

Hello,

    Since bookmarks use HTML titles, it would save editing
    if at least major sections had section names appended
    int the gcc internals docs.

    E.g., the RTL page

http://gcc.gnu.org/onlinedocs/gccint/RTL.html#RTL

    has the title

<title>GNU Compiler Collection (GCC) Internals</title>

    and so seemingly (I haven't checked all) does every
    page below the index:

http://gcc.gnu.org/onlinedocs/gccint/index.html#Top

    Why not add the text from the first <h2>...</h2> to the title,
    e.g., for the first-mentioned page, it's:

<h2>RTL Representation</h2>

    which would make:

<title>GNU Compiler Collection (GCC) Internals: RTL Representation</title>

A simple script could rip through the entire tree and update it, IWT.
Thanks for your good works.

Regards,
Bengt Richter