nav.pages is not sorted

[ccoenen]

besides nav.items there is also nav.pages. This list is used (for example) for the pdf-export plugin.

If I could sort the nav.pages, I am pretty sure, the pdf export would automatically print pages sorted by this weight. (provided their plugins is loaded and run after this plugin here).

[ccoenen]

I may have a solution to this.