On 18 August 2017 at 09:54, Eli Zaretskii <eliz@gnu.org> wrote:
>
> Thanks, this looks OK to me.

Thanks for the review. I attach one final patch, to document the
changes; is that OK? I have removed the list of spell-checkers from
all but one place in the manual, for ease of future maintenance.

-- 
https://rrt.sc3d.org