Document how active users are computed, close #2305