Lists of people, places and events
The encyclopedia gained a list for each kind of entry, with a name filter that matches other names and a book filter.
The entries existed, but nothing listed them. Each kind now has its own list:
- People and places in name order.
- Events in the order of the text, grouped by book.
A name filter also matches an entry’s other names, and a book filter narrows the list. Without JavaScript the whole list still shows.
Commits: 24a4b38 (the code the footer’s version label names)