Merge latest (0.9.13) KDE code. This version is not yet ready for git master, but better than the previous one