Есть ли версия HTML n1256.pdf(ISO C99 + TC3) или рекомендуемый способ конвертировать ее в html или другой менее болезненный формат для просмотра? Все преобразователи PDF, которые я пробовал, дали очень плохие результаты, особенно в том, что они не смогли преобразовать лигатуры "fi" в нечто более удобное для поиска, но также и в отношении базового форматирования.
Вот оригинал для справки: