The tree menu that is created when we generate a series of linked HTML files is excellent, but for long lists of files it would be much better if the menu were dynamic--i.e. if we could contract or expand the subitems.
Could that perhaps be built into exported HTML files in the future? I know that I can add the code manually in the tree file, but that's rather tedious when a group of HTML files has to be updated frequently.