wget https://www.jedsoft.org/releases/jed/jed-0.99-19.tar.gz || wget https://deb.debian.org/debian/pool/main/j/jed/jed_0.99.19.orig.tar.gz