By the way I found a (somewhat) related bug in the "local times" setting. It is being ignored by the built-in updater, which always converts new posts to the local time even if the setting is off. So you end up with two different timezones and date formats in a single thread.