How are the tags under users' names assigned on the USERS tab? I assumed that they were the top tags for each user, but then I noticed that for some people they were, but for others they weren't. For example, André Nicolas's top tag by score is calculus. And it's his second highest by number...