refactoring: pdf_gen.py removed, it moved into fav2pdf.py