Console logger now writes to `sys.stderr`. Make PyLint happier. Fixes #3135.