So, we have oceans-eleven, oceans-twelve, and oceans-thirteen, and then we have oceans-8. This is wrecking my OCD. It also makes it strange to search for the tag (and now knowing how it should be written for the different movies).
Is there some reason for this, or just an accident? Can a mod rename the tag, or should we edit all questions and change their tag?