* kernel/Kernel_extra.tex.nw: syncweb