Enables the Dev Tools menu in settings on grok.com
Estas são as versões deste script em que houve atualização do código. Mostar todas versões.
