- Punctuation fix

- Use of guimenu tags instead of literal where needed
- Some s/PPP/ppp/ to be consistent with Synopsis.
- Remove application tags for PPP in "PPP over Ethernet"

en_US.ISO8859-1/books/handbook/ppp-and-slip/chapter.sgml

@@ -82,7 +82,7 @@
     </itemizedlist>
 
     <para>You may be wondering what the main difference is between user
-      PPP and kernel PPP.  The answer is simple; user PPP processes the
+      PPP and kernel PPP.  The answer is simple: user PPP processes the
       inbound and outbound data in userland rather than in the kernel.
       This is expensive in terms of copying the data between the kernel
       and userland, but allows a far more feature-rich PPP implementation.
@@ -2030,7 +2030,7 @@ nameserver <replaceable>y.y.y.y</replaceable></programlisting>
       <!-- 10 Jan 2000 -->
     </sect1info>
 
-    <title>Using <application>PPP</application> over Ethernet (PPPoE)</title>
+    <title>Using PPP over Ethernet (PPPoE)</title>
     <indexterm><primary>PPP</primary><secondary>over Ethernet</secondary></indexterm>
     <indexterm>
       <primary>PPPoE</primary>
@@ -2069,7 +2069,7 @@ name_of_service_provider:
     </sect2>
 
     <sect2>
-      <title>Running <application>PPP</application></title>
+      <title>Running <application>ppp</application></title>
 
       <para>As <username>root</username>, you can run:</para>
 
@@ -2078,7 +2078,7 @@ name_of_service_provider:
     </sect2>
 
     <sect2>
-      <title>Starting <application>PPP</application> at Boot</title>
+      <title>Starting <application>ppp</application> at Boot</title>
 
       <para>Add the following to your <filename>/etc/rc.conf</filename>
         file:</para>
@@ -2107,7 +2107,7 @@ ppp_profile="name_of_service_provider"</programlisting>
 	this may de-program your modem and render it useless, so
 	think twice before doing it.  Simply install the program shipped
 	with the modem by your provider.  Then, access the
-	<literal>System</literal> menu from the program.  The name of your
+	<guimenu>System</guimenu> menu from the program.  The name of your
 	profile should be listed there.  It is usually
 	<emphasis>ISP</emphasis>.</para>