Martin Buck Tue, 15 Aug 2023 17:03:18 -0700
Thanks & sorry for the late response. I'll fix this ASAP together with an update to the latest upstream release.
Martin