Thomas Lange Wed, 18 May 2022 02:15:15 -0700
I agree on Ian's description of this issue. IMO it's not a bug and therefore can be closed.
-- regards Thomas
