- Can we merge these tags? If not, how do we differentiate them?
- If the answers to this question determine that they should be merged, how is this actioned? Do I flag for moderator intervention?
I think those should indeed be merged, yes. And this is precisely how to get it done: post on meta, see if everyone agrees and wait until the mods do their jobs.
So, unless anyone objects, I'll be merging them.