Dear JED Debian Developers, I just test-built and committed version 2.5.4 of the jed-extra package and kindly ask someone with the right permissions to sponsor the upload to /unstable. Günter