[m-rev.] for review: Remove mentions of 'dead' and 'mostly_dead' from reference manual.

[Peter Wang]

On Sat, 05 Aug 2017 13:46:22 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 
> On Sat, 5 Aug 2017 21:17:29 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> > I have found that some users, particularly those for whom English is not
> > at first language, are confused by what "clobbered" means; less so with
> > "dead".
> 
> Agreed, but we can't forget users *do* know what it means.
> 
> > > I also think that mentioning only one of the two in the reference
> > > manual may be clearer for new users,
> > 
> > Agreed; it's somewhat unfortunate that there are two names for the same
> > thing in the first place.  (As such, I have no objection to Peter's change
> > to the reference manual.)
> 
> Nor do I.

I had thought 'clobbered' was somehow more fundamental than 'dead' but
it seems that 'dead' was used exclusively in the reference manual until
'clobbered' showed up in a list of reserved inst names in commit 235ae38
(and otherwise not described).

If we keep 'dead' I will add a brief explanation of why 'clobbered' is
reserved.

Peter