All UI output gets logged as well as being sent to stdout, so no need for the duplicate here. :)