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