Comment by viraptor

So someone ran a different LLM to find an issue they'd find anyway during formalisation? That's not the same as relying on thriving community.