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.
