Цитата Сообщение от spensor
Если на pdf есть прямой линк, то можно воспользоваться online-сервисом pdf2djvu http://pdf2djvu.pl, файл самостоятельно загрузится на удаленный сервер, преобразуется в djvu, а потом вам будет указан адрес для скачивания djvu. Сжимает как раз на порядок, сам таким образом качал документы с zx.spectrum.it.
Нашёл ещё один сервис http://any2djvu.djvuzone.org/
Перекодировал 7-ми метровый pdf в 2-х метровый djvu плюс распознал OCR, выложил ссылку там же.
OCR работает только для английского языка.