This user script shows the real names of tags next to their display names in places such as page revision histories or the watchlist.
To install, add {{ subst:lusc|User:Rummskartoffel/show tag names.js}} to your common.js.
{{ subst:lusc|User:Rummskartoffel/show tag names.js}}