* linkers/Linker.tex.nw: more