With apologies – I never tried the workaround in @dlb’s post in that other thread until now – and it works! I am happy to have it slightly harder to turn insert mode on & off anyway.
With apologies – I never tried the workaround in @dlb’s post in that other thread until now – and it works! I am happy to have it slightly harder to turn insert mode on & off anyway.