No matches were found for subject:"Proposal to remove unnecessary \[type\] attributes on script tags in mozilla\-central"