I don't think anyone hardcore has died, just realized this might pose an issue with the 'new' jr balrog sack, hardcore players often come with other restrictions so they are usually lower level, a jr could 1 hit them most of the time.
I think even if a systematic change in the code is too much effort, it would be nice to get a word from Arnah if he will be willing to return hardcore chars that have died that way.