We got a request from Google to rename and remove the following duplicate tags: - [tag:r8] and [tag:android-r8] - [tag:android-d8] and [tag:d8-dexer] Here's how I'm thinking to proceed with this: - Merge [tag:r8] into [tag:android-r8], and leave [tag:r8] as a synonym - Merge [tag:d8-dexer] into [tag:android-d8], and leave [tag:d8-dexer] as a synonym This can be done easily in one click, without need for the community to do the work. However: **Folks active / vested in any of these tags:** Will this break anything and/or are there any good reasons not to do so? I'll leave this question here through the weekend and then get to it at some point on Monday if there are no concerns presented. Edit: This has now been completed.