What I should have said was that the Clip options (which I was using before I migrated to my new PC) were both missing - but I didn't notice that they had reappeared in my screenshot! However, IE11 on my old PC had an option to Clip selection which Is missing in my screenshot. Nevertheless, I just booted up my pc and lo and behold all three options now appear! I seems that I needed to restart and open and close IE11 several times before the menu items all registered. Curiouser and curiouser! Anyway, sorry to have bothered you and thanks for your help.
