server-check.t: set User-Agent header
gpsuploadhist functionality is now official
missing English translations for GPS tab in option editor