Hi. I saw that topic too, and I hope so! Thanks very much for your reply
In the meantime, is there anyone else who wants to check if Explorer scan has disappeared from his/her settings as well? Thanks a lot and let’s hope for the fix…