https://docs.python.org/3.7/library/time.html contains the text "UTC is Coordinated Universal Time (formerly known as Greenwich Mean Time, or GMT)". This is not strictly true. Referring to https://en.wikipedia.org/wiki/Coordinated_Universal_Time the definition of UTC is in terms of frequency standards, GMT in terms of astronomy. Hence with GMT each minute has exactly 60 seconds, but the length of the second may vary slightly to account for changes in the Earth's rotation. With UTC each second is the same length, but "leap seconds" can be inserted or removed giving 59 and 61 second minutes. The leap seconds keep the two systems in sync to less than one second.

This of course only matters for the most critical applications, but it would be worth documenting correctly.

How about replacing "formerly known as Greenwich Mean Time, or GMT" with "which superseded Greenwich Mean Time or GMT as the basis of international timekeeping"?

I don't think Python reference manual is the right place to explain the difference between UTC and GMT, but since we have time.gmtime() function, GMT should still be mentioned.

I also think it would be ideal to avoid getting into too much detail about the definitions of UTC and GMT in a general sense. Instead, we should probably refer to some better source on the matter and maybe focus on how UTC and GMT are used *in this document*?

For example, the `gmtime` function is explicitly defined in terms of UTC in the documentation, and just has a possibly slightly inaccurate name. Perhaps a wording like "Occasionally the abbreviations 'GMT' and 'UTC' are used interchangeably, despite the fact that this is somewhat inaccurate. For more information about the difference between UTC and GMT, see <external source>."

As something of an aside, the same bullet point says this:

> The acronym UTC is not a mistake but a compromise between English and French.

This came up recently on the tz mailing list, where it was claimed that there is no contemporary evidence to support this: https://mm.icann.org/pipermail/tz/2019-March/027736.html

It may be worth removing this sentence or rewording it to be more neutral, like "The acronym UTC is not a mistake but conforms to an earlier, language-agnostic naming scheme for time standards: UT0, UT1, etc." I can move the discussion of the "UTC acronym" wording into a separate ticket if it's distracting from this one.