Ihor Radchenko <yantar92@posteo.net> writes:

> AFAIU, it is a bugfix. Right?
>
> If it is, the patch name is rather confusing.

I can never tell!  Fixed.

> Also, what about `org-export-collect-headlines'. It also ignores
> numeric value of :with-toc.

Fixed.  Thank you for letting me know!  I am exporting only to HTML,
where Org-generated top-level menus do not appear.  So, I missed it.

P.S. I also fixed the incorrect test.

Rudy