Automated conversion from mozilla-esr17