Enables the Dev Tools menu in settings on grok.com
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
