So, before trying the correct method (which is strangely made difficult by my maching now refusing to boot from USB for no reason I can find), I thought I would try to switch to Debian via a strange recipe that probably won't work:
https://unix.stackexchange.com/questions/344408/migrate-from-ubuntu-to-debia...
Problem is the Debian pubkey, which does not exist on my machine. The keyring stuff in the recipe does not, best I can tell, resemble current reality. Of course, without it the whole apt-get business explodes in a cloud of unsignedness.
Anybody know where I can get the Debian pubkey?
dep Pictures: http://www.ipernity.com/doc/depscribe/album Column: https://ofb.biz/author/dep/