Updates to documentation to clarify the meaning of GPS time