remove tags list from user profile

It takes a long time to compute, and I don't think it's ever used.