INTERNET TIME SERVERS

I regret to announce that the timegps.net servers have been discontinued.