One could consider looking for a text-searchable format on Gigapedia (for instance, the second edition of the Red Book is available in djvu). Is there a better way to search than text-searching in an ecopy? Not to my knowledge.