Hacker News Reader

It did not. xhigh is new to grok.

Not sure on the API side, in Cursor you can always use 4.6 at xhigh.

We've only used it through API - but you're right, now API supports xhigh for 4.5-4.7.