Classlist Manager: added number of users shown and fixed paginator bug.