I’m glad the failure to launch Firefox bug has been fixed.