Max Nikulin <manikulin@gmail.com> 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