Nämn TeXdoc.net

Closes #22