Screw telling the user to kill the still-running the process. If we know that Firefox just crashed, and can see that it is still running as the same user, and keeping the profile locked, it should offer to kill it up front. There's no reason to push users from the nice environment of Firefox onto the shell to figure out the offending PID and run kill. This is probably upstream as much as Debian, but if a patch gets developed here, it would certainly ease acceptance of this change upstream. Since I've not experienced this issue personally, I'm not really qualified to push it upstream.
Phil Miller
