You probably noticed that all packages maintained by the DJG have their own Git repositories now, besides jed-extra. Günter, please tell us when we can migrate the jed-extra repository. The earlier you learn Git and abandon SVN, the better it will be for you :-) -- Rafael