OK, Guys,
You’ve convinced me. I looked into deleting my comment, but I see that the WordPress mothership doesn’t allow deleting comments(!), so please consider this to be my apology and retraction.

Best, Dave

PS: I won’t be commenting here anymore, now that I know that a mistake can’t be corrected.