Jonathan Riddell Wed, 01 Nov 2023 08:32:09 -0700
> > If not, then why not fix any misnaming while we change names anyway. >
Go for it :) Jonathan