Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
Changed style to adapt better to Groks defaults.
