On 22 Jul 2015, at 18:16, Paul Eggert <eggert@cs.ucla.edu> wrote:

John Haxby wrote:

I just had a look at the Fedora 22 KDE timezone selector.
...
Oh, and it reports my current time zone as "Europe/London (LMT)" which
is a little weird.

More than a little weird.  London Mean Time (LMT) hasn't been used in any practical sense since 1880.  Does Fedora's time zone selector also come equipped with pneumatic tubes and steam valves?