Yeah we have our dramas as a community. Some are solved with alacrity and some seem to end up simmering as an undertone.
We do need to be mature and put these disagreements aside, firstly for the good of the community and secondly for our own good mental health.
Let's get GRCtip or some tipbot working on IRC again .. I'd do it myself if I had the knowledge and time ..