Re: Extra character in the manual page

[Sergey Poznyakoff]

> I didn't check the git sources. I did now and see you fixed it a while
> ago in commit 4a78d77 together with a slight rewording of the text. So
> maybe a new release some time? :-)

Yes, definitely, it's high time for a release.

Regards,
Sergey