As the algorithmic age takes Holocaust denial mainstream, historians must admit a bitter defeat.