Если текст не надо редактировать, а только допустим страницы удалять или добавлять, конвертировать и т.д., то pdf24 топ, правда под Linux я его не пробовал.
Может тупо скрипт написать, который будет пинги слать каждые несколько секунд на основной DNS сервер, и если он становится недоступным вносить изменения в resolv.conf? Да, костыль, но тем не менее.
