Automated conversion from mozilla-central