Re: [mkgmap-dev] Is height: filter working as described?