* kernel/Kernel_extra.tex.nw: more cleanup
* kernel/Kernel_extra.tex.nw: LPize a few things
* kernel/Kernel_extra.tex.nw: misc