This is correct.
Groq is a provider of ultra fast (try it, it’s amazing) AI inference services. They have bespoke hardware but it’s basically LLMsaaS.
I gave an example a while back here: Discourse Chatbot 🤖 - #1085 by merefield
It’s nothing directly to do with Grok. Grok on the other hand is a name for a family of models, not a provider. The name clash is annoying though!
Ultimately the web page seems correct to me.