Please re-read your parent's point. By your own logic, if no.(users) > no.(devs), then it makes sense to prioritise freedoms(users) > freedoms(devs), which is precisely what the AGPL does.