I haven't decided whether or not only root can do this (leaning towards not), and we might want to be more flexible and let the user choose to delete one of the two directories. For now it works.