Merged the debugging updates to the manual