* kernel/Kernel.tex.nw: misc
* skip_list.txt: refresh