Very crudely removed support for PDF documents given that the submodule handling them is currently broken and I have no need for it right now