Patching glossary and checking validity of HTML
Making index files consistent
Adding a ToC