So I'm guessing from your explanation the reason it won't delete by dragging it
to the trash is that I'm not logged in as root, and that by doing this from a
terminal window, I'd be doing it as root, so it would do it?