>> Date: Fri, 13 Feb 2004 15:05:06 -0500
>> From: Andrew Cagney <cagney@gnu.org>
>> 
>> This removes a reference to "mi1" in the documentation.  It's no longer
>> tested (hence 'supported').
> 
> 
> I don't think we should remove documentation of existing features,
> even if they are not reliably supported.  How about adding some text
> about mi1 being deprecated and unsupported instead?

Like this?

Andrew