Well, there is another way to copy all console output in a file:
echo: func [
"Copies console output to a file."
target [file! none! logic!]
if port? system/ports/echo [
if target = true [target: %rebol-echo.txt]
if file? target [
system/ports/echo: throw-on-error [
either not append [
target: open/direct target
skip target 4294967295 ; highest int should move to the end
and you'll obtain all console output in your file.
Don't you believe me?
editor read %my_file.txt