I’m slightly sceptical of the streamingness, because it maybe assumes all the linting is done before output starts? But ish?