Document that bash -x -e is used