* Xix.tex.nw:
* kernel/Kernel.tex.nw: more