(Some minor JavaDocs and Manual content improvements.)