fix PDF build error because of tutorial GIF
add PDF build fix to version history
merge fix for docs PDF build failures
hide TOC "contents" text in PDF

(it looked funny, since the TOC comes before the
index.rst text in the PDF)