What is going on with Luigi Mangione?

https://lemmy.zip/post/43761525

His name was Brian Unitedhealthcare, right?
I thought his name was John Forprofithealthinsurancecorporation
I’m fairly certain he’s still at large.