I'm soooo sorry about your porch orangie. I have porch kitties too and I never really know if they belong to someone else or not. In his case you did all you could for him. He was lucky to have known you. Don't feel bad because bad things just happen and they are nobody's fault.
RIP Orangie Boy.