Developer manual: Expansion of map data file format description, small
corrections.