I gave up on the Easy Installer, using Odin to install TWRP then flashing from there. Only trouble is that the latest Stable, the release I was hoping for, won’t install, (error 7), but the latest dev installs no problem. I haven’t tried an earlier stable - can’t see the point really.
Any ideas why ? (Both downloaded following the usual links).