The DW should propose to uninstall invalid extensions for which a core extension already exist

It does not make much sense to keep those (they are not loaded anyway) so we could quite safely propose to uninstall them in the new clean step along with outdated dependencies.