1
I noticed that we seem to have two tags for the Global Positioning System: [gps] and [gnss-gps]. These two tags seem to have exactly the same meaning—namely, the Global Positioning System, which is a particular global navigation satellite system (GNSS).
I don't see any reason to keep the [gnss-g...