I just checked out the Google Cloud and Azure collectives, and at the bottom of each it conveniently shows the 5 top tags. However in both cases there is a duplicate.
When clicking show all tags the duplication does not occur. Also for several tags including the duplicated tag the count is slightly different.
Seems like a clear bug, perhaps because of how synonyms are handled?