You're roughly correct but you're missing some important context. Hector wasn't the developer of this patch. However, he is a user of it. He has had some rough

You're roughly correct but you're missing some important context. Hector wasn't the developer of this patch. However, he is a user of it. He has had some rough interactions over the last few years. And so seeing this happen (even though it's happening to someone else) is a "the straw that breaks the camel's back" kind of deal.