I’d love to have o4-mini-medium as an option. Works quite well in windsurf and is quite a bit faster than high
o4-mini-medium
high