don’t print user‐submitted text

Conflicts:
	lib/util.py