How to remove Internet Explorer 11

If you have been rudely surprised by an unwanted upgrade of Internet Explorer 11, here is a nice series of screenshots on how to remove it and go back to 9 or 10.