Hi,
it seems all the tags with a # are already part of the common tag monitoring:gps and can be removed.

Regarding the official coordinates, you might find something in the various discussions and proposals around survey point tagging.