Enables the Dev Tools menu in settings on grok.com
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
