To clarify, if there’s only one lane and it’s reserved for HOV, then hov:lanes=designated is redundant to hov=designated. This way got reverted because it already had hov=designated. hov:lanes=designated was technically correct but unnecessary.