kdesdk-dolphin-plugins: Obsoleted by dolphin-plugins