* kernel/Kernel_extra.tex.nw: remove forward decl from pdf