So the good news is that I was a good lad and used search to locate an answer to my issue. The even better news is that I found it has been covered numerous times. And yet more good news is that the topics I found neatly pointed to the same page for the answer. The bad news is that this page is no longer available
So, regretfully, I’ll ask here.
Where do I define the date format such that I don’t have this weird “Feb, 12” vs “Feb 12” thing? I’ve also searched settings and see various options but it’s not clear which one I should change.
And, just to be provocative, what’s the logic behind the rather confusing default date format (see above), given that there have been quite a few comments over time that this is confusing.