JADEOPTS -> JADEFLAGS. Should fix the FAQ not appearing in the right
encoding. This is a band aid fix, just to get it built, and will be fixed
properly in the next day or so, when I can properly analyze the problem.

Now to read the e-mail this has generated. . .