Erewhon

"Why Is It Called the Butlerian Jihad?" asked a Youtube video recommendation. I didn't know, although I didn't exactly have a recollection of even seeing the term mentioned as such in the Dune books I had read so far either. The video explained where the name (most likely) came from but I thought I might check out the source myself as well.