I think we don't need to keep track of the number of users on the FL. This stuff has been commented out for a while now, with no complaints. Whatever the limit is now, it's either reported by the server, or too large for anyone to care, it seems.