Thread: pgsql: Ensure that distributed timezone abbreviation files are plain AS

Ensure that distributed timezone abbreviation files are plain ASCII.

We had two occurrences of "Mitteleuropäische Zeit" in Europe.txt,
though the corresponding entries in Default were spelled
"Mitteleuropaeische Zeit".  Standardize on the latter spelling to
avoid questions of which encoding to use.

While here, correct a couple of other trivial inconsistencies between
the Default file and the supposedly-matching entries in the *.txt
files, as exposed by some checking with comm(1).  Also, add BDST to
the Europe.txt file; it previously was only listed in Default.
None of this has any direct functional effect.

Per complaint from Christoph Berg.  As usual for timezone data patches,
apply to all branches.

Discussion: https://postgr.es/m/20200716100743.GE3534683@msg.df7cb.de

Branch
------
REL_12_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/a40733d04707f8d1a6a7dca6430f98b3cab64c63

Modified Files
--------------
src/timezone/tznames/Antarctica.txt | 2 +-
src/timezone/tznames/Australia.txt  | 4 ++--
src/timezone/tznames/Default        | 4 ++--
src/timezone/tznames/Europe.txt     | 5 +++--
4 files changed, 8 insertions(+), 7 deletions(-)