On Wed, Mar 12, 2025 at 01:41:41PM +0000, Mark Hindley wrote: > Yes, at the moment "|| is redundant. Sorry, that got garbled Yes, at the moment "|| true" is redundant.... Mark