From 110c0809146e5057a01e6b4791903ae54908a9a4 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Tue, 8 Nov 2022 12:40:35 +0300
Subject: [PATCH] =?utf8?q?=D0=92=D1=8B=D1=88=D0=B5=D0=BB=20Texinfo=207.0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

В нём исправлена бага о пропаже элемента из индекса, о которой сообщал
(ab93c94e50820da24ba107002f5cb0c1091cef2d), а также теперь HTML5 вывод
по умолчанию и желанная мною ASCII_PUNCTUATION опция (ибо бесит когда в
текстовом выводе, как минимум, не ASCII кавычки).
-- 
2.48.1