For some, the transcription of this text https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/EWD249/EWD249.html https://www.cs.utexas.edu/users/EWD/trans

For some, the transcription of this text https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/EWD249/EWD249.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/E..., via https://www.cs.utexas.edu/users/EWD/index02xx.html https://www.cs.utexas.edu/users/EWD/index02xx.html) may be easier to read. It definitely is better searchable.