Lenny is finally released and it is time now to migrate jed-extra into unstable. If there are no objections, I will upload soon 2.5.3-2, as in SVN r1184. -- Rafael