However I can't propose the tag synonym myself, because I don't have 5 total score on those tags. It seems the only active user who can is Tang Ho (I just upvoted his only answer to a total of 5). Or an all-powerful moderator.
Do you agree? Shall we go ahead and synonymize the two tags?