Thank you for raising this and the helpful suggestion: both tags have been updated.
In case people were interested, this is one output from moderator tool:
Preview tag rename Be careful! There is no revision history generated
by this action!
Remember that caching of question lists may make it look like the tag
still exists after the merge, but ...