diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index fa30d0524cb0916531b8050b26d52f09ef27a4d5..383bf100d45f1afe1cb7fadab11a4c92ba0ad5a5 100644
--- a/doc/FAQ_DEV
+++ b/doc/FAQ_DEV
@@ -1,7 +1,7 @@
 
           Developer's Frequently Asked Questions (FAQ) for PostgreSQL
                                        
-   Last updated: Sat Apr 23 16:52:14 EDT 2005
+   Last updated: Fri May 6 13:47:54 EDT 2005
    
    Current maintainer: Bruce Momjian (pgman@candle.pha.pa.us)
    
@@ -23,7 +23,7 @@ General Questions
    1.10) What books are good for developers?
    1.11) What is configure all about?
    1.12) How do I add a new port?
-   1.13) Why don't you use threads/raw devices/async-I/O, <insert your
+   1.13) Why don't you use threads, raw devices, async-I/O, <insert your
    favorite wizz-bang feature here>?
    1.14) How are RPM's packaged?
    1.15) How are CVS branches handled?
@@ -349,8 +349,8 @@ General Questions
    src/makefiles directory for port-specific Makefile handling. There is
    a backend/port directory if you need special files for your OS.
    
-  1.13) Why don't you use threads/raw devices/async-I/O, <insert your favorite
-  wizz-bang feature here>?
+  1.13) 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 682af0ac4ffad7cefdeeeaf4005d226ba6be99a0..ded9c722e7ad472a349da1b4001a351bac89df8b 100644
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -13,7 +13,7 @@
     <H1>Developer's Frequently Asked Questions (FAQ) for
     PostgreSQL</H1>
 
-    <P>Last updated: Sat Apr 23 16:52:14 EDT 2005</P>
+    <P>Last updated: Fri May  6 13:47:54 EDT 2005</P>
 
     <P>Current maintainer: Bruce Momjian (<A href=
     "mailto:pgman@candle.pha.pa.us">pgman@candle.pha.pa.us</A>)<BR>
@@ -44,8 +44,8 @@
      <A href="#1.10">1.10</A>) What books are good for developers?<BR>
      <A href="#1.11">1.11</A>) What is configure all about?<BR>
      <A href="#1.12">1.12</A>) How do I add a new port?<BR>
-     <A href="#1.13">1.13</A>) Why don't you use threads/raw
-    devices/async-I/O, &lt;insert your favorite wizz-bang feature
+     <A href="#1.13">1.13</A>) Why don't you use threads, raw
+    devices, async-I/O, &lt;insert your favorite wizz-bang feature
     here&gt;?<BR>
      <A href="#1.14">1.14</A>) How are RPM's packaged?<BR>
      <A href="#1.15">1.15</A>) How are CVS branches handled?<BR>
@@ -430,8 +430,8 @@
     handling. There is a <I>backend/port</I> directory if you need
     special files for your OS.</P>
 
-    <H3><A name="1.13">1.13</A>) Why don't you use threads/raw
-    devices/async-I/O, &lt;insert your favorite wizz-bang feature
+    <H3><A name="1.13">1.13</A>) Why don't you use threads, raw
+    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