Status of jed-extra

[Rafael Laboissiere]

Jörg, Guenter,

How is the work on jed-extra going?  I have not followed the development
during these last months.  I guess I could go through all the commit
messages and have the answer by myself, but I think it better to ask
here.  

Could you please summarize the status of the package and the amount of
work that has to be completed?  It would be great to have it uploaded
soon, such that jed_0.9.17.111 could leave experimental and enter
unstable. 

-- 
Rafael