doc/paper.tex: shorten an execution command