NTP server - problem

[cutty]

Obviously, you will want to keep the limited processing power of system blue available
for the primary purpose of monitoring lightning strikes,  but it would be nice if you
could get the NTP time-stamp a bit closer than 4 milliseconds.

Here is the 'information' window on your settings page.
"Enable NTP time server. The server uses the GPS time and 1PPS as time source. It is not as accurate as other hardware dedicated to NTP, but far enough for home usage (around ~1ms). Enabled CPU sleep mode and higher load on the controller can result in much lower accuracy."

In other words, "it is what it is" ...  

Cheers!
Mike