Testing caltopo route length against Garmin Edge 830 to see if speed sensor error translates to distance error. Comparative case is bike ride of 2023-01-06.