[notpushkin]

It is, and all logs should ideally go to stderr. But that doesn’t let you pipe them to different places.