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