That's partly because Jose is a machine. I have one anecdote that might provide some insight: I filed a bug that turned out to be an incorrect dialyzer spec on

That's partly because Jose is a machine. I have one anecdote that might provide some insight: I filed a bug that turned out to be an incorrect dialyzer spec on a library function. Jose fixed it and merged the fix to master within 40 minutes of me filing the bug. It was a small issue, and I had done a reasonable job at bug filing (small test case, pointers to source of problem) but to have that level of discipline and responsiveness on bug fixing is spectacular.