Fix pdftoxml docs

Actually fix the pdftoxml docs completely this time; forgot to remove the
options parameter.