Re: [mkgmap-dev] more refined mkgmap:skipSizeFilter=true handling