cumentation treat it as a separate
page element.
</p>
</div>

<div id="author-note" class="box-tip">
<p class="tip">
<span class="note">Author&#8217;s note:</span>
Left to their own devices (i.e. if you&#8217;re happy with the way
mom does things by default), headers are something you never have to
worry about.  You can skip reading this section entirely.  But if
you want to change them, be advised that headers have more macros to
control their appearance than any other document element.  The text
of this d