@christophe Good timing. In a few weeks, Google Chrome will become hellish and for many months now we heard that Mozilla Firefox will save us. ☹