I don’t know, yet! 8.0.1497 is installed, but I have to wait 8 days to see if anything has changed. I’ll be back by then with some more news.
Thank you for your reply, btw…