-The manual, provided in Windows Help and text formats, is generated
-from a Halibut source file (puzzles.but), which is the preferred form
-for modification. To generate the manual in other formats, rebuild it,
+The manual is provided in Windows Help format for the Windows build;
+in text format for anyone who needs it; and in HTML for the Mac OS X
+application and for the web site. It is generated from a Halibut
+source file (puzzles.but), which is the preferred form for
+modification. To generate the manual in other formats, rebuild it,