I assumed we would switch to RC releases now (cf. IRC discussions). This can be changed later if we finally decide to do another dev release instead.