Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn
Changed style to adapt better to Groks defaults.
