User:Austin/Extensions/LatexDoc: Difference between revisions