If you find a scanned copy, use a PDF reader's "search" function aggressively – that's where this old dictionary still shines over many newer print books.