* pad.txt: history
* changes.txt: empty for now
* kernel/Kernel.tex.nw: misc