Getting FOLDOC source
The dictionary source is a single plain text file (not HTML, not an
executable program of any kind). You can just load it into a text
editor and use the editor's search facilities. It is available for
your downloading pleasure in the following formats:
Diffs are no longer available.
Last update: 2014-04-06