* compilers/Compiler.tex.nw: misc