edit LaTeX formatting of documentation
===GT=== #3469