* linkers/Linker_extra.tex.nw: new!