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

[Zoltan Somogyi]

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.

Zoltan.