DOC: CLEANUP: Debugger symbols concepts and usage Bug #242 #243