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.
|
1 | [made Community Wiki] | ||
|
|
||||
