Re: lone top node header directions

[Karl Berry]

    * the header appears at the same place as the Top node (even before the
      Top node), but points up to the first sectioning element which is below.

Cool :).

    My opinion would be not to change that.  If user wants a separate element
    for the @node Top, he should simply add a @top.

That is fine with me.

Thanks,
k