* kernel/list_kernel: used by lpize
* .gitignore:
* score.org:
* kernel/Kernel_extra.tex.nw: initial, after syncweb -lpize list_kernel