RE: [PATCH] Autoconf FAQ update.