Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
Queste sono tutte le versioni di questo script. Mostra solo le versioni in cui è cambiato il codice
Changed style to adapt better to Groks defaults.
