formatted man pages for the network time protocol utilities