(So the mail got through after all, sorry for that, it took strangely long and another message appeared before this one so I tried again with a different client. I hope this one will take less than 24 hours.) -JK ___________________________________________________ This message is from the kde mailing list. Account management: https://mail.kde.org/mailman/listinfo/kde. Archives: http://lists.kde.org/. More info: http://www.kde.org/faq.html.