tee can be used to duplicate stdout to stderr

It took me a while to figure it out. As it might be useful for someone else, I propose to add it here.