On 12/24/21 10:40, Pranab Lawrence Ekka Dasgupta wrote:
> Perhaps it could be reworded to "default if WHEN is omitted", although
> that does cause some repetition

Thanks, I gave that sort of thing a shot by installing the attached, and 
am closing the bug report.