thanks for the info GuillaumeD and KLflyerRalph!

that tradition seems very nice......

[also, the pace of airline mergers seems to be getting faster and faster...soon we might only have a few dozen mega-airlines to serve all of humanity]