Recommend obtaining libedit instead of GNU Readline

The GNU Readline library is GPL 3 licensed and incompatible with PHP
license.

php/doc-en@586809d

faq/obtaining.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 17fc359d7eb75d7d6199db77518924f2d351ed8b Maintainer: hirokawa Status: ready -->
+<!-- EN-Revision: 586809db1b0f2b35fed783972a25e2ad091e4363 Maintainer: hirokawa Status: ready -->
 <!-- CREDITS: takagi -->
 <chapter xml:id="faq.obtaining" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink">
  <title>PHP を手に入れるには</title>
@@ -163,7 +163,7 @@
        </listitem>
        <listitem>
         <simpara>
-         <link xlink:href="&url.readline;">readline</link>.
+         <link xlink:href="&url.libedit;">libedit</link>.
         </simpara>
        </listitem>
       </itemizedlist>