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