[docs] Minor updates to the LaTeX options