Yes and done.
updating post history, 29 rows affected updating posts, 24 rows affected updating PostTags associations, 20 rows affected removing/renaming old tag, 0 rows affected updating count for master tag, 1 rows affected tag remapping of [microphone] and [mic] complete! remapping 0 synonyms 1 favorite and ignored tags remapped! Tag Synonym mic -> microphone was approved! Broadcasting tag-engine reload