Semantic change: # of users on problem page now count those who didn't get points.

 This is to avoid 0 solved user problems form disappearing.