Wanted for 11.4 (if we want to get rid of xulrunner192 by default; I think we do): port to xulrunner20 + fixes for crashes/freezes (forwarded request 62195 from vuntz)