Report docs errors to stderr