Apologies if I'm just being severely dense (I never use add-ons, but this one would be very very useful to me).
I uploaded the files after unzipping locally on my desktop (this gives me an extras and upload directory, as well as the addon-Sedo_GoToTop.xml file) - to the home directory of my...