sgi.html typos and fixes, take two

[christer solstrand johannessen <csj_(_at_)_csj_(_dot_)_no>]

sorry about the double sending, but it seems the first patch got stuffed
somehow, hopefully this one won't be mangled in transit.

- christer

--- sgi.html.orig	Sun Sep 19 19:58:40 2004
+++ sgi.html	Mon Sep 20 07:18:53 2004
@@ -45,10 +45,10 @@
 <p>
 The OpenBSD/sgi port has its roots in the OpenBSD/arc port created early
 in the OpenBSD history. Arc support was rather soon dropped due to lack of
-interest and availability of decent hardware. The OpenBSD Mips support have
-since then been supported outside the OpenBSD project. As SGI hardware have
-become affordable and easy to get by, interest for a SGI port in the tree
-have increased. The final piece, a working 64 bit toolchain, is now
+interest and availability of decent hardware. The OpenBSD Mips support has
+since then been supported outside the OpenBSD project. As SGI hardware has
+become affordable and easy to get by, interest for an SGI port in the tree
+has increased. The final piece, a working 64 bit toolchain, is now
 available and the 64 bit SGI OpenBSD port is now in the tree.
 </p>

@@ -75,7 +75,7 @@
   <li>Support the O2 built in audio
   <li>X11 server support
   <li>Larger user VM space. Currently limited to 2GB
-  <li>Support more SGI HW like Origin 200, Octance, etc
+  <li>Support more SGI hardware like Origin 200, Octane, etc
   <li>Support for multiprocessor systems (<b>not</b> NUMA)
 </ul>
 </p>
@@ -103,8 +103,8 @@
 <h4>Supported peripherals</h4>

 <p>
-While most models support expansion via PCI many PCI devices may work.
-However each device has to be tested before they will be listed here as
+As most models support expansion via PCI, many PCI devices may work.
+However, each device has to be tested before they will be listed here as
 supported so if support for a particular device is wanted, suitable hardware
 must be made available to a developer who can test and verify functionality.
 </p>
@@ -136,7 +136,7 @@
 </a> as well.

 <p>
-Until a bootable CD is avaialble, netbooting is the only available
+Until a bootable CD is available, netbooting is the only available
 installation method.
 </p>