Changing the numbers so that 1pm, rather than 12pm, now means noon is pointless and arbitrary, but if it makes people happy, whatever. I’d prefer we just switch

Changing the numbers so that 1pm, rather than 12pm, now means noon is pointless and arbitrary, but if it makes people happy, whatever. I’d prefer we just switch to year-round correct time, but either option is much better than switching twice a year, so if this passes, I’m okay with it.