add documentation for the timeserver config option