No, it was just lumped into the act that moved the federal holidays to Mondays (including Columbus Day), but, because the date 11/11 was so significant to so many, enough people complained and just that one day was moved back to its original date. Probably didn’t want to do the Monday in November because of Thanksgiving wandering around the end of the month.
I would point out that this is a controversy precisely BECAUSE there is more than one “right” answer. Symbols by their very nature are personal, and can have different meanings to different people or groups of people. For example, try asking a Bible Belt conservative Christian and a gay rights activist to explain the symbolism of a rainbow. Pretty sure you would get answers that are nothing alike. That doesn’t mean either one is “wrong”, just different situations and experiences lead to different interpretations of a symbol.
No, it was just lumped into the act that moved the federal holidays to Mondays (including Columbus Day), but, because the date 11/11 was so significant to so many, enough people complained and just that one day was moved back to its original date. Probably didn’t want to do the Monday in November because of Thanksgiving wandering around the end of the month.