lib/util.run: echo_stdin (): print a separator before and after the echoed output to help distinguish it from other verbose output