check should only print to stdoud in case of error or if in verbose/i.e. cmdline mode
comment added
Merge remote-tracking branch 'upstream/master'

Conflicts:
	work/et/check.php
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
new germ, now split