[sr-dev] git:master: debugger: some fixes in documentation