Tolkien’s elves pronounced Istari as ISS-tar-ee, with a short I sound and the stress on the first syllable. However, Istari the proof assistant is pronounced as an ordinary English word: iss-TAR-ee, with a short I sound and the stress on the second syllable.