Излишний @documentencoding
Использовать нововведения Texinfo 7.0
Ссылки принудительно ведут на HTTPS версию
Опечатка
Запоминающие английские названия файлов/нод Теперь готовые после Texinfo HTML пост-обрабатываются и не "светят" английскими названиями в элементах навигации.
Первоначальный коммит после переноса из репозитория www.cypherpunks.ru