Minor tweaks to clarify SDR versus USRP versus GNU Radio.

The file `usrpdefs.php3' should probably be renamed, but I'm too chicken to
do so myself.

www/sdr/faq.html

@@ -9,13 +9,13 @@
 
 <h2>Contents</h2>
 <ul>
-<li> <a href="#WhatIsThis">What is a GNU Radio?</a>
+<li> <a href="#WhatIsThis">What is a software-defined radio?</a>
 </ul>
 
 <hr>
 
 <ul>
 <li><a NAME="WhatIsThis"></a>
-    <font size='+1'><b>What is a GNU Radio?</b></font>
+    <font size='+1'><b>What is a software-defined radio?</b></font>
     <p>Tell me more, tell me more
 </ul>

www/sdr/index.php3

@@ -6,9 +6,9 @@
 #
 require("usrpdefs.php3");
 
-PAGEHEADER("GNU Radio Project", $USRP_MENUDEFS);
+PAGEHEADER("Software-Defined Radio Project", $USRP_MENUDEFS);
 
-echo "Hi, I am a GNU radio<br>\n";
+echo "Hi, I am a software-defined radio<br>\n";
 echo "Tell me more, tell me more<br>\n";
 
 #

www/sdr/users.html

@@ -4,11 +4,11 @@
    All rights reserved.
   -->
 <center>
-<h2>USRP Users</h2>
+<h2>GNU Radio and USRP Users</h2>
 </center>
 
 <h3>
-Classes using GNU Radio software/hardware
+Classes using GNU Radio and/or the USRP
 </h3>
 
 <ul>
@@ -18,7 +18,7 @@ Classes using GNU Radio software/hardware
 <hr>
 
 <h3>
-Researchers using GNU Radio software/hardware
+Researchers using GNU Radio and/or the USRP
 </h3>
 
 <ul>

www/sdr/usrpdefs.php3

 <?php
 #
-# Definitions for GNU radio pages.
+# Definitions for SDR pages.
 #
 chdir("..");
 require("defs.php3");
 chdir("sdr");
 
 $USRP_MENU		    = array();
-$USRP_MENU['title']	    = "USRP Menu";
+$USRP_MENU['title']	    = "SDR Menu";
 $USRP_MENU['Home']	    = "index.php3";
 $USRP_MENU['FAQ']	    = "docwrapper.php3?docname=faq.html&title=".
                                "'Frequently Asked Questions'";
 $USRP_MENU['Recent News']   = "docwrapper.php3?docname=news.html&title=".
                                "'Recent News'";
-$USRP_MENU['USRP Users']    = "docwrapper.php3?docname=users.html&title=".
-                               "'USRP Users'";
+$USRP_MENU['GNU Radio &amp; USRP Users']
+			    = "docwrapper.php3?docname=users.html&title=".
+                               "'GNU Radio and USRP Users'";
 $USRP_MENU['Public Wiki']   = "https://${USERNODE}/twiki/bin/view/SDR";
 
 $USRP_MENUDEFS = array('hide_sidebar'     => 1,