So that you get a named anchor in the HTML, i.e. `printing.html#latex` rather than `printing.html#id23` (or whatever it was).