I have this book. I know I’m sounding like yet another entitled dev, but the main turnoff for TLA+ (for me anyway) is the editor.

fwiw I also started learning TLA+ with this book recently, and the editor was a major turnoff for me too