While I've been adding tag wiki content to Android-specific tags, I've also been doing research on which tags are being used. In one such example android-menu, there are 509 questions with menu and android.
Obviously, in most cases, android-menu would be the correct tag. Is there any way to merge menu with android-menu only if it includes the android? Fixing the tags after the merge would be far easier than editing them all manually. Not that I'm saying I'm not willing, but... meh.