Neither of these worked. I know now that was because the installer had installed itself on the boot partition with the Wi-Fi info, so I could not go back and force it to continue without a connection. Plus, all addresses I chose it just told me it’s already used, try another.