Enables the Dev Tools menu in settings on grok.com
Dette er alle versioner af dette script. Vis kun de versioner, hvor koden er ændret.
