Merge branch 'bram.kohlen' into 'master'

Merge comments, tex and enhanced printer into master

See merge request !10
2 jobs for master in 1 minute and 28 seconds (queued for 1 second)