bar the brief moment when I though I'd been given an empty private key because I imported it as legacy (force of habit!) instead of segwit
Although the withdraw page has the correct Electrum prefixes if "Import to Electrum" is clicked, I think that it
could be useful to add a red "(p2pkh:)" where the page tells:
Importing them into Electrum they may require special prefix
But I agree, the topic is covered, people have to just read

And yes, I've also tried it out the ToR v3 link (
thank you @ChipMixer for being kind and let us try it out). All went smoothly, no problems at all!