Install less LaTeX on CI, since the -most package didn't work.