I just noticed that, in the time shown for posts and comments, the month-number appears in place of the minutes. From the format settings it seems to be a WordPress bug. It’s not the host or PHP, because in WordPress admin pages the time is correct.
RSS feed for comments on this post.
Funny.
No, the error was in my homemade template, which overrides the Settings. (I guess the canonical way is that the template’s PHP retrieves the Settings strings and then feeds them to the_time().)
Bully for me, I caught it in less than four years!