@TexChik It was clever how they decoded that the Armistice would be 11/11/18 on the 11th hour. And yes, that was classy and eloquent. History was not lost on them. And neither was etiquette.
To me it is Armistice Day, as that is what I learned it as a child. It has nothing to do with any other war.