Update FAQ_DEV.

Author: bmomjian

doc/FAQ_DEV

@@ -27,7 +27,7 @@
    11) What is configure all about?
    12) How do I add a new port?
    13) What is CommandCounterIncrement()?
-   13) Why don't we use threads in the backend?
+   14) Why don't we use threads in the backend?
      _________________________________________________________________
 
   1) What tools are available for developers?

doc/src/FAQ/FAQ_DEV.html

@@ -50,7 +50,7 @@ <H2>Questions</H2>
      <A href="#11">11</A>) What is configure all about?<BR>
      <A href="#12">12</A>) How do I add a new port?<BR>
      <A href="#13">13</A>) What is CommandCounterIncrement()?<BR>
-     <A href="#14">13</A>) Why don't we use threads in the backend?<BR>
+     <A href="#14">14</A>) Why don't we use threads in the backend?<BR>
      <BR>
 
     <HR>