* linkers/Linker.tex.nw: reduce number of globals