@ploum Some very good points you make here. Until now my philosophy was always that I'm happy if my software gets used by anyone, so I should use the license that is the least onerous. Also it has mostly been contributing to existing projects (i.e. Agda) which already have an MIT license, as is common in academia. Do you think there's a difference in what kind of software should use which license, or would you recommend AGPL for everyone?