On 2/19/19 1:40 AM, FredB wrote: > there was a bug in Firefox with huge impact for some configurations > https://bugzilla.mozilla.org/show_bug.cgi?id=1522093 Congratulations on getting that Firefox bug fixed! Alex.