Is there a technical reason to remove the `, undefined` here? I agree it’s not necessary on a pure Gecko platform but it doesn’t harm either. ;-)