Made GPS time publicly accessible.