[mkgmap-dev] Commit r3758: - improve documentation for option product-version