#185: doc: add document for online debugging; UNFINISHED!