Grok Dev Tools

Enables the Dev Tools menu in settings on grok.com

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