When I open the wallet using Electrum I can see the BCH (ABC) that I withdrew earlier tonight, not the BCH SV which I would still expect to be there.
You can not claim BSV with Electrum (BTC) or ElectronCash(BCH), you need a proper wallet for that coin. To do that you need to import seed ( which you do not have) or private keys of BCH address from Ledger BCH wallet in Electrum BSV.
I think you can not see private keys in Electrum (private keys from Ledger), and there is no other way to claim BSV that to follow the instruction on the link you posted. For that, you need BCH app and ElectrumSV, and now when you move ETH&BCH from Ledger, this wallet should be empty?