Max Nikulin writes:
> nitpick
>
> [...]
>
>> To make a hyperlink to Info documentation, [...]
That is a good nitpick, thank you!
Fixed in the attached patch (along with indentation).
Rudy
>From 60c86cf1991e5437084b3efb28f0866c5a50ca6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rudolf=20Adamkovi=
I totally agree with Max Nikulin: wouldn't that be an improvement? That would
make things a lot easier for those instances in which you want to put the
footnotes back in.
> Il giorno 3 mar 2023, alle ore 17:47, Max Nikulin ha
> scritto:
>
> On 03/03/2023 22:47, Ihor Radchenko wrote:
>> Max Ni