Grok Dev Tools

Enables the Dev Tools menu in settings on grok.com

这是此脚本的所有版本。 只显示代码变更过的版本