There seem to be no objections, so I have created a tag synonym that maps
One further possibility: we can also merge the tags such that we remove the
org tag from the 30-odd questions that have it and replace it with
Merging seems sensible to me (there are around 1500
org-mode questions by comparison), but please comment on this answer if you think it should or should not be merged.