Op donderdag 27 januari 2022 15:02:53 CET schreef Glenn Fowler: > At least on v4.9 on Windows, the option is still there and works as > expected?? > > Yes, my bad. Our Windows edition is still based on WebKit1 and hence the option is still there. Regards, Geert