I agree that this could be useful, especially for those who use many tags. I suggested this very thing nearly a year ago after a discussion about tags with another user.
(Note: The post mentions tags at the top of a note because that's where tags were way back then!)