Added a description of djopt(debumpify) in the user docs.