More bots — Grok Bot goes wide

On Michael Truell's Grok Bot launch — shipping more agent infra in public.