When downloading a set-up script. ThingsGUI saves the script in a `.txt` file. I think we better change this to `.ti` as this extension is used for ThingsDB language scripts.
When downloading a set-up script. ThingsGUI saves the script in a
.txtfile.I think we better change this to
.tias this extension is used for ThingsDB language scripts.