Added 400 words to appendices, various fixes

In particular, PDF TOC is now nice
Document compiles just fine
Many references are still broke