developer extensions for kde
