user/jszakmeister: avoid printing colordiff to stdout in lessfilter.sh