• Time settings GPS sync now - Added Settings -> Time -> Sync now from GPS to request a one-off GPS time sync on demand, with progress stages.
• GPS boot time sync - Added Settings -> GPS -> Boot time sync; when enabled, startup temporarily turns GPS on, waits for GPS time to sync the RTC, shows GPS time synced, and silently turns GPS back off if it was only enabled for the boot sync attempt.