v187 Add new file to fix the character encoding of the database.
v187 14480 Ensure pdflatex generates a table of contents.