Delete obsolete instsource-plugins