Finally remove the obsolete PDF documentation