[sr-dev] git:master: debugger: ids to sections in documentation