Dear developers of this wonderful piece of software,
When we use the auto-summary button which makes a Table of Contents at the top of the page, it always gets the title ‘Table of Contents’. Yes, we can change it, but once we refresh the table of contents, the default text “Table of contents” reappears. Is this somehow customizable? Could we have a field in the site configuration where we can define which title we want at the top of any table of contents?