Merge [mic] into [microphone]

Question

mic obviously refers to microphone. Can we merge mic into microphone and synonymize?

Answer 1

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