Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
Changed style to adapt better to Groks defaults.
