Removing obsolete extensions