@koteisaev @GreenSkyOverMe Huh. It had never occurred to me that Mile was related to “mile” meaning thousand. Thanks, I learnt something today!