Oh no, please, Please, PLEASE, *PLEASE* do not cross-post the discussions between debian-vote and debian-devel. There is no point having separated lists otherwise. Have a nice day, -- Charles