man: More descriptions of dived's options