[mkgmap-dev] patch (how to submit?)

Hi Steve, hello list, Here's a patch that documents the naming options better. It mainly describes the --family-name option (previously only a TODO). Is this the best way to submit them? (I noticed that a rather trivial patch that I sent to the list, about Splitter reading hex numbers from areas.list, was not checked in so I'm wondering if there's a better way to send patches?) Best regards, Valentijn