On Thu, Dec 27, 2018 at 08:47:10PM +0000, Victor Lazzarini wrote:
> Thanks. Needs fixing. Would you care to open a ticket in the man repo?

I guess I shouls be able to do that.  (I have for other projects, but never Csound.)

Csound mailing list
Csound@listserv.heanet.ie
https://listserv.heanet.ie/cgi-bin/wa?A0=CSOUND
Send bugs reports to
        https://github.com/csound/csound/issues
Discussions of bugs and features can be posted here