Feature request: logic on time mark pin

[tobias-dahms]

@wsurvey

just checking… you know u can change the number of decimal output for .pos file times in RTKPOST settings page? no need to go into the rinex or .ubx file to get all 7 decimals.

ah, ok, thanks!

@wsurvey

of the squares of the following: […]

ok, thank you, I will include that!