While working on #12547, I learnt that Console.print prints to stderr by default. Unaware users of dune trying to pipe the output of dune through other shell tools like grep could trip up with this behavior. It could be useful to print the output from some commands to stdout, instead of stderr.