Update pdf-menu-repair.py