> But in the same bug report from a year ago, I mention chapter/section > numbers in PDF bookmarks, as well as need for better headings, which > leads to a question: what's your decision on these?
I'm not sure if it's worth it. There is not much horizontal space in a table of contents sidebar and adding a section number makes even less of the section name visible. Adding an option for it would need more code and have to be maintained forever.
