But the second clause doesn't follow from the first! I don't think Linux was plausibly going to remove the OOM killer in 2004 or later. So the right solution f

But the second clause doesn't follow from the first! I don't think Linux was plausibly going to remove the OOM killer in 2004 or later. So the right solution for Linux is very much to tweak it to be less painful.