We got a request from Google to rename and remove the following duplicate tags: **First Instance** - [tag:r8] and [tag:android-r8]. **Second Instance** - [tag:android-d8] and [tag:d8-dexer]. Here's how I'm thinking to proceed with this: - Merge [tag:r8] into [tag:android-r8] - Merge [tag:d8-dexer] into [tag:android-d8] - Make [tag:r8] a synonym of [tag:android-r8] - Make [tag:d8-dexer] a synonym of [tag:android-d8] I can take care of that without need for Community/Mods to do the work there, however: **Folks active / vested in any of these tags:** - Will this break anything and/or are there any good reasons not to do so?