nostr:npub1dgqc52h68p7m2uar5yxmc2gp67rcjmlwm6yjr4xt3m4jg4k4rmdshr7aev I think you might be completely wrong about this. I would suspect that is more likely to be a porkee than a porker. Perhaps Big Mike was porking them both.