<div dir="ltr">Dear developers, Here is a bug report with a proposed patch. The HTML output of the scribble includes the "on this page" sidebar. Some people do not like this sidebar, because it seems to duplicate the table of contents. However, it seems that there is no style option to remove it. We propose the patch which would introduce the new style symbol 'no-sidebar. As a style for the main part of a document, this would cause the HTML output to not include an ``on this page'' margin box. See the attached patch file Andrei </div>