I already knew we had an android-source tag, but apparently we also have an aosp tag (with AOSP being an acronym for Android Open Source Project, for anyone who might not be aware). This strikes me as kind of redundant, especially since the tag wiki for android-source explicitly uses the acronym "AOSP".
It seems to me that the android-source could actually be removed, since it largely serves as a tag for off-topic development questions (it seemed to crop up mostly after "android" was blacklisted). There are a couple of questions that actually do ask about Android's source code, but I don't see any reason why those few couldn't be retagged to use aosp (still a perfectly valid tag for those questions, I think), and then the tags could be synonymized somehow or android-source could just be abandoned.
To expand a bit on what motivated this discussion/question: I've always thought android-source was just not a very useful tag. It could have potential use, I suppose, but most of the legitimate uses (in my opinion) would overlap with aosp. Discussion of Android's source code in a general sense feels out-of-scope for us, and so I'm not personally convinced that android-source really has a compelling use case from that angle.
Thoughts?