#185: doc: update document for debugging