Понадобилось тут ужать пдфку, была такая полезная тулза на питоне: https://code.google.com/p/pdfsizeopt/. Захожу туда - а там: «проект был удалён на основании жалобы согласно U.S. Digital Millennium Copyright». Подозреваю, за то, что игнорировал ограничения DRM в PDF.
Вот уроды, ёпт. Надеюсь, всё у них будет хорошо. Ни у кого случайно исходники не завалялись? Где они могли в интернете сохраниться?