With sadness I had to bid goodbye to Ubuntu 12.10. No, it was not Unity, because I quite liked it.
Just that applications began crashing once too often. When this became a constant irritation, the nearest I could think of was Mint. So for now sorry Ubuntu.
I also managed to install Arch Linux on a dual boot with Linux Mint. I tested the installation procedure as described in the Arch Wiki in Virtual Box first. After a few misfires I managed to get it right. Then I backed up all data...