Merge branch 'tmpdir-comment' into 'master'

deckard: document usage of TMPDIR

See merge request !156
10 jobs for master
in 1 minute and 28 seconds and was queued for 2 seconds