I’ve uploaded new JED debs with some minor fixes. At the moment, I’m rebuilding 4.1.0 potato debs for the 4th time… it’s taking much more hacking than previously. These will be available at http://people.debian.org/~cpbotha/ when done. Watch that space!