Internet Explorer – once again!

Once again I am proud to serve the glorious Internet Explorer. The latest code on Github (see the link top-right) contains some minor adjustments to make it work again. Thanks for all the hints you gave me!