Dual boot: how to remove the other distro?

[jymm]

Great bluey, now just mark the solution checkmark so everyone knows our problem is solved.