You can also download this PDF version.
The PDF can be searched very quickly with Ctrl+Shift-F in Adobe Acrobat, as it contains an embedded index. However, Adobe now require a system change to enable searching of an embedded index. See https://helpx.adobe.com/acrobat/kb/enable-embedded-index-to-search-pdf.html for details.