Better handling of obsolete plugins