* kernel/Kernel.tex.nw:
empty .tex.nw