kde@gentoo.org Gentoo KDE Project https://bugs.kde.org/enter_bug.cgi?product=dolphin sdk/dolphin-plugins