Turns out that a fresh Arch Linux install is significantly easier than letting a 2-year-old system install 3.6GiB of packages and hoping.