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