* debuggers/Debugger_extra.tex.nw: misc