Create pdf-menu-repair.py