Enables the Dev Tools menu in settings on grok.com
Versão de: 17/05/2025. Veja: a última versão.
Estas são as versões deste script em que houve atualização do código. Mostar todas versões.
