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

[Eli Zaretskii]

> 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.

> Is the below OK?

I have no objections, if the list is indeed dead.