That’s fair. I personally don’t interact with him, nor do I plan to (why would I?), so it really doesn’t bother me. As long as the other devs can manage dealing with him and the quality of the code stays high, I’m happy. If the other devs leave the project, I’ll look for forks.