Attempt to fix PDF generation on ReadTheDocs, take 2