That's a good point. User tags were an early experiment, and I've been thinking about getting rid of them now that we have those little badges next to our names.