I would do that, but I can't figure out how to delete the theme, even when I'm using a different one.