Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
这些是此脚本变更过代码的版本。 显示所有版本。
Changed style to adapt better to Groks defaults.