I tried to follow this but my Windows 11 machine had nothing in relation to Internet Explorer so I decided to just delete the cache etc from Edge and that seems to have worked.