Enables the Dev Tools menu in settings on grok.com
These are all versions of this script. Show only the versions where the code changed.
