Hi Anne,
You are correct that deleting profiles is not easy to do. If Mitchell had imported his GEDCOM and created profiles from it, those profiles could not be easily deleted. Fortunately he appears to just be at the GEDCompare stage and can simply delete the file.
Chris