js-norm.tex: use Gnu/Linux rather than Linux