On Fri, Mar 15, 2013 at 2:04 PM, Roberto Di Cosmo <roberto@dicosmo.org> wrote:
We would really need a central place to keep this info well structured. Even a simple wiki page would do.