Grok Dev Tools

Enables the Dev Tools menu in settings on grok.com

Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.