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.
