We did this to him. [1] We drove him to burn-out. We should reflect on that and make sure we don't ever do that again to any open-source maintainer. And we should pay more of them for their work.
[1]: Including me, as I contributed to a comment thread here about cheating on benchmarks.
[1]: Including me, as I contributed to a comment thread here about cheating on benchmarks.