[RFA] [doc] Don't mention dmi-discuss

[Vladimir Prus]

Eli Zaretskii wrote:

>> From: Vladimir Prus <vladimir@codesourcery.com>
>> Date: Sat, 26 Apr 2008 21:31:07 +0400
>> 
>> 
>> I've noticed the MI manual mentions the dmi-discuss mailing list,
>> which is basically dead at this point.
> 
> Is it?  I don't remember any announcements about its demise, but maybe
> I missed something.

The last post is from November 2006. The group, unfortunately, never made
any progress -- there were no actual discussion of MI shortcomings, or
desired features, or anything.

>> Is the below OK?
> 
> I have no objections, if the list is indeed dead.

Ok, I'll check this in in a couple of days.

- Volodya