I am dropping this note in this thread just to say that I did not have time to follow the discussion around this bug report. Since you apparently know what you talking about, I will let to you the final decision about the actual changes in the jed package. Jörg, please tell me when you are done in SVN and when we think I should make the upload. -- Rafael