diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index 7ab830832080fe158ab6089a98aef0f29bfa3591..fdbea0f273ee22ba73b6067d0174502129c2e719 100644
--- a/doc/FAQ_DEV
+++ b/doc/FAQ_DEV
@@ -1,7 +1,7 @@
 
           Developer's Frequently Asked Questions (FAQ) for PostgreSQL
                                        
-   Last updated: Sat Nov 2 23:02:16 EST 2002
+   Last updated: Tue Nov 5 16:49:16 EST 2002
    
    Current maintainer: Bruce Momjian (pgman@candle.pha.pa.us)
    
@@ -19,8 +19,8 @@
    1.6) What books are good for developers?
    1.7) What is configure all about?
    1.8) How do I add a new port?
-   1.9) Why don't you use threads/raw devices/async-I/O, &insert your
-   favorite wizz-bang feature here&?
+   1.9) Why don't you use threads/raw devices/async-I/O, <insert your
+   favorite wizz-bang feature here>?
    1.10) How are RPM's packaged?
    1.11) How are CVS branches handled?
    1.12) Where can I get a copy of the SQL standards?
@@ -317,8 +317,8 @@
    src/makefiles directory for port-specific Makefile handling. There is
    a backend/port directory if you need special files for your OS.
    
-  1.9) Why don't you use threads/raw devices/async-I/O, &insert your favorite
-  wizz-bang feature here&?
+  1.9) Why don't you use threads/raw devices/async-I/O, <insert your favorite
+  wizz-bang feature here>?
   
    There is always a temptation to use the newest operating system
    features as soon as they arrive. We resist that temptation.
diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html
index 24baab3eb3358da1d8762a4af51b60e4a870727a..33068df6ca10589ac15e5c78aa6418c57feb2963 100644
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -12,7 +12,7 @@
     <H1>Developer's Frequently Asked Questions (FAQ) for
     PostgreSQL</H1>
 
-    <P>Last updated: Sat Nov  2 23:02:16 EST 2002</P>
+    <P>Last updated: Tue Nov  5 16:49:16 EST 2002</P>
 
     <P>Current maintainer: Bruce Momjian (<A href=
     "mailto:pgman@candle.pha.pa.us">pgman@candle.pha.pa.us</A>)<BR>
@@ -40,8 +40,8 @@
      <A href="#1.7">1.7</A>) What is configure all about?<BR>
      <A href="#1.8">1.8</A>) How do I add a new port?<BR>
      <A href="#1.9">1.9</A>) Why don't you use threads/raw
-     devices/async-I/O, &amp;insert your favorite wizz-bang feature 
-     here&amp;?<BR>
+     devices/async-I/O, &lt;insert your favorite wizz-bang feature 
+     here&gt;?<BR>
      <A href="#1.10">1.10</A>) How are RPM's packaged?<BR>
      <A href="#1.11">1.11</A>) How are CVS branches handled?<BR>
      <A href="#1.12">1.12</A>) Where can I get a copy of the SQL
@@ -384,8 +384,8 @@
     special files for your OS.</P>
 
     <H3><A name="1.9">1.9</A>) Why don't you use threads/raw
-     devices/async-I/O, &amp;insert your favorite wizz-bang feature 
-     here&amp;?</H3>
+     devices/async-I/O, &lt;insert your favorite wizz-bang feature 
+     here&gt;?</H3>
 
     <P>There is always a temptation to use the newest operating system
     features as soon as they arrive.  We resist that temptation.</P>