Can I please get a review of https://github.com/csound/csound/pull/1737?

I will then have a follow-up PR to `csound/csound.github.io` to update the Csound API documentation on the website. Thank you!