Russ Cox's side of the story: <a href="https://twitter.com/_rsc/status/1022588240501661696" rel="nofollow">https://twitter.com/_rsc/status/1022588240501661696</a><p>Interesting to see that both sides seemed to have been fighting for what they believed to be a better idea but neither recognized the points where they inadvertently escalated the divisions between them.