faq.en.in: Change the nomenclature a bit.

1 files changed, 16 insertions, 15 deletions

diff --git a/faq.en.in b/faq.en.in
index 5215fbf1..fbecac43 100644
--- a/faq.en.in
+++ b/faq.en.in
@@ -47,20 +47,21 @@ BSG's paper ``Towards a new strategy on OS design'' available at:
 
 ??	Grammatically speaking, what is the Hurd?
 
-{NHW} Hurd stands for ``Hird of Unix Replacing Daemons.''  And Hird, in
-turn, stands for ``Hurd of Interfaces Representing Depth.''
+{NHW} ``Hurd'', as an acronym, stands for ``Hird of Unix Replacing
+Daemons.''  And Hird, in turn, stands for ``Hurd of Interfaces
+Representing Depth.''
 
 When we are referring to the kernel, we say ``Mach'' and use it as a
 proper noun.  For example: ``The GNU Mach kernel uses the device drivers
 found in version 2.0.x of the Linux kernel.''
 
-When we talking about the servers, we say ``The Hurd.''  For instance:
+When we talking about the servers, we say ``the Hurd.''  For instance:
 The ext2 filesystem is provided by the Hurd, not by Mach.  Note, it is
-wrong to say any of the following: ``HURD,'' ``The HURD'' or ``the
-hurd.''
+wrong to say any of the following: ``Hurd'', ``HURD,'' ``The HURD'' or
+``the hurd.''
 
-``GNU/Hurd'' is used when we wish to express the idea of the operating
-system, e.g. ``Currently, Debian is the only distribution of GNU/Hurd.''
+``The GNU Hurd'' is used when we wish to express the idea of the operating
+system, e.g. ``Currently, Debian is the only distribution of the GNU Hurd.''
 
 Finally, there is ``Debian GNU/Hurd.'' This refers to the distribution
 as created by the Debian developers.  For example: ``What do you run on
@@ -114,10 +115,10 @@ implemented.
 
 ??	Where do I get Debian GNU/Hurd?
 
-{NHW} As GNU/Hurd is an official unstable Debian port, you can find the
-binaries at your local Debian mirror.  There are, however, several core
-packages that do not compile cleanly from source and have several,
-unfortunate, hacks.  These can be found at:
+{NHW} As the GNU Hurd is an official unstable Debian port, you can
+find the binaries at your local Debian mirror.  There are, however,
+several core packages that do not compile cleanly from source and have
+several, unfortunate, hacks.  These can be found at:
 
 	ftp://alpha.gnu.org/pub/hurd/debian.
 
@@ -143,9 +144,9 @@ can be found at:
 
 ??	What kind of hardware is supported?
 
-{NHW} Currently, GNU/Hurd only runs on IA32 machines, however, porting
-to other architectures should not be difficult:  the code has always
-been written with portability in mind.
+{NHW} Currently, the GNU Hurd only runs on IA32 machines, however,
+porting to other architectures should not be difficult: the code has
+always been written with portability in mind.
 
 With respect to drivers, GNU Mach uses a subset of the drivers from the
 Linux 2.0.x kernel.  A relatively complete hardware compatibility guide
@@ -165,7 +166,7 @@ BIOS.  As for the latter, GNU Mach does not support loadable kernel
 modules.  Therefore, you will have to compile a new kernel and only
 activate those device drivers that you actually need.
 
-??	What partition type should I use for my GNU/Hurd partitions?
+??	What partition type should I use for my GNU Hurd partitions?
 
 {MB} You should use an ext2 filesystem.  Alternatively, you may use BSD
 style ufs.  The partition type number for ext2fs is 0x83 (this is the