.. (or even better, my newly arrived Legder hardware wallet), and then execute point 4 in https://electrum.org/bcc2.txt?
That will do now and worth a shot. Since all things are on it's respective "right" place now, you can proceed with the instruction no.4 if you choose Ledger walelt as new place for your bitcoin.
Actually you can move your bitcoins to any other hardware/desktop wallet since the only one needed to claim your BCH was the private key of that address before. If you don't have an extra computer, you can use Mobile wallets (e.g Electrum Mobile). Just take note that after you import your private keys to the BCH wallet you will, don't used it anymore as part of security purposes.
So to be absolutetly clear: It's perfectly safe to move my bitcoins from Electrum to any other wallet, and afterward proceed with the instructions at point 4 in https://electrum.org/bcc2.txt?
Yes since it's the usual sending of bitcoin to other wallets. The tasked would be, before importing the private keys to the BCH wallet, the funds of it must be emptied just in case there will be a problem, you still have your bitcoin on the other wallet.
And yes again, afterward proceed now to no.4 after you clear and already set all things up.
