Hello, Nick Dokos <ndo...@gmail.com> writes:
> The paragraph is in need of some editing, but I think some of the @ signs are > wrong: they are used as escapes in the texi file and a couple of them > are missing. I attach a patch but it could use some review to make sure > it's correct. It looks correct. Could you apply it? Thank you. Regards, -- Nicolas Goaziou