Yeh, it was sold as a jihad.

But I think Hyperion Cantos by Dan Simmons would fit better.

Not quite. It's possible to live in the modern world using only Free and Open Source software. Stallman does this, but I think he's pretty much alone.

Wikipedia says there are ~350,665 Old Order Amish (apparently in the New World? https://en.wikipedia.org/wiki/Amish#cite_note-Elizabethtown_...).

This is not an exaggeration. Nowadays basically anything you buy that uses electricity also has chips included for various purposes. Those chips of course run proprietary software.

Sure, but I'd meant live in the modern world in the sense of living in tech-enabled society, rather than just living in the current day.

I've read that he borrows people's phones.

IIRC that took a Matrix-style war that humanity just barely won, so I don't think there's much hope among writers that we get to a post-tech universe without breaching the brane of cataclysm, seeing machine-borne oblivion on the other side, and pulling our heads back just in time (or perhaps an instant later...).

> IIRC that took a Matrix-style war that humanity just barely won

Only in the terrible prequels written by Frank Herbert's idiot son, who decided that a rejection of machines replacing humans = literal Terminators.

One of the more interesting things about the Butlerian Jihad is that in the end, without thinking machines, they instead turned humans into machines.

> One of the more interesting things ...

Yes, and this is often overlooked.

The question if we should turn machines into humans or vice versa, and that there is no third option.