Today is a holiday: 11/11. Europe celebrates it as Armistice Day, commemorating the end of World War I (the war to end all wars), of which the fighting stopped on the eleventh hour of the eleventh [...]