User:Rummskartoffel/show tag names

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  to your common.js.