* compilers/Compiler_extra.tex.nw: and make sync
* kernel/Kernel.tex.nw:
* debuggers/snap/mkfile:
* debuggers/Debugger.tex.nw: misc