Some time ago, I asked whether I should be ugrading my Red Hat distributions or move to Debian. It seems that the problem has cured itself since Red Hat Linux has ceased to exist.
So I'll be switching to Debian. Very reluctantly, but it seems that I don't have much of a choice.