“Is this a precursor to dropping the eleventh hour of eleventh day of eleventh month?”

I certainly hope not… The US renamed Armistice Day as Veteran’s Day in 1954, but still celebrates it on 11/11 of each year.

We also celebrate Armed Forces Day the 3rd Saturday in May each year… for all currently serving forces!