developer extensions for KDE
