Add jbonofre in the developers set