The solving of the split-packages problem should be deep enough so we can delete all uber-workaround modules.