Ah, no surprise here. I see that they still refer to Bitcoin as Bitcoin Core.
Time for me to find out what Bitcoin Cash is and how I can convert to what I need.
You should be able to get your coins back using
Electron Cash. It's a fork of Electrum which works with Bitcoin Cash.