web commit by PatrickWinnertz: put in some documentation about the tex plugin