Re: [mkgmap-dev] [PATCH v1] Fix handling of housenumbers for street names changed by style