Steffen Becker
7767a61b95
Captions, index entries and citations each get their own group instead of riding under the table-of-contents label, which said nothing about them. The index options menu names the index it edits and lays its ten levels out as one strip of keys — as rows they were the whole menu.