The full pull request history for non is available on the Internet Archive. The only one I could find from Filipe is this one: https://web.archive.org/web/20201122235832/https://github.co...
I'm not seeing any insults in there, just a detailed explanation from Jonathan for why he didn't want to merge it. I don't understand the full technical details, but it's clear he gave it a lot of thought and there was a difference in project philosophy.