manual.texi	OSF1 -> OSF/1
manual.texi	Let's get those trademarks right. :-)


Docs/manual.texi:
  sparc, Sparc, etc. -> SPARC
  OSF1 -> OSF/1
  Let's get those trademarks right. :-)