Comment by pjc50

It's no use pedanting me or indeed anyone else; that's the sort of thing people mean when they use that phrase.