Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
These are versions of this script where the code was updated. Show all versions.
Changed style to adapt better to Groks defaults.
