I agree. They are definitely trying to make the jump between 4o and 5 seem bigger, though most users never actually used o models, so maybe from a layman's perspective it was right to skip o1/o3/o4-mini?