What's the deal with the new favorite tags slot on the user profile page? Is it broken, and if not, how do you use it?