So apparently I have to delete things to install the new iOS...