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