Module names and MIB names

["Wijnen, Bert (Bert)" <bwijnen@lucent.com>]

The DISMAN WG has delivered 
   draft-ietf-disman-alarm-mib-18.txt
which includes two MIB Modules with just TCs.
Their names are

   ITU-ALARM-TC
   IANA-ITU-ALARM-TC

And the latest revision of smilint program flags it with a warning that
the module name does not have suffix of *-MIB.
This is based on our (MIB doctors developed) MIB review guidelines:
  
   draft-ietf-ops-mib-review-guidelines-02.txt

Specifically section 4.1 and appendix C.

Now.... this MIB document was developed by members of teh MIB Doctor team
and under a WG chair who is also in the MIB Doctor team.
So this does not feel right.

We as MIB doctors eat our own dogfood, or we remove such guidelines.

So my question that I want answered by all MIB doctors is:
  Do we keep this guideline or do we do away with it.

pls choose one of these two answers:

 - Do away with it. It is a CLR (Crappy Little Rule)
 - Keep it. It is a CLR (Consistency Language Rule or some such positive thing)

Thanks,
Bert