Hi Christoph, Hi Jö,<br><br>Off we drop the devel list, I would suggest, to simply keep the old archive as it is.<br><br>I agree that there is less and less reason to actually have this list.<br><br>What is the opinion of the others?<br><br>Ciao<br>Christian