Jeremias Maerki wrote:
If nobody objects I'm going to remove the deprecated elements in the apps package later this week.
Umm, couldn't this wait until after the 0.93 release? Well, that's a question, not a veto. If you think it's a good idea, go ahead. J.Pietschmann