IE is still there. You can’t use it anymore but Windows can. I also don’t think they can ever get rid of IE Options - they changed the name to Internet Options but it’s exactly the same and will break so many networks if they ever get rid of it