`Control.OSMGeocoder.js` has been customized, but it is hence almost impossible to update it. We should keep its vendor version clean and adapt it through another script.