On Sun, Apr 26, 2020 at 11:20:01PM +0200, Daniel Gustafsson wrote:
> That was the preferred name by Michael too elsewhere in the thread, so went
> ahead and made it so.
Thanks Daniel.
>> I would, however, prefer to also rename the internal symbols.
>
> Done in the attached v2.
What you have here looks fine to me. Peter, what do you think?
--
Michael