* windows/Windows.tex.nw: misc
* kernel/list_kernel_other: