properly encode satnames given in satellites.xml