Adds a button to upload any source files to Grok by renaming them to .txt so they are accepted.
Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.
Changed style to adapt better to Groks defaults.
