>>>>> "Dimitre" == Dimitre Novatchev <dnovatchev@xxxxxxxxx> writes:

    >> The real point of my post was to find out which option you
    >> would prefer - a warning, or a suppression.

    Dimitre> Both are useful -- it would be nice to be able to
    Dimitre> selectively turn them on/off using command-line switches.

What do you mean by selectively?
-- 
Colin Adams
Preston Lancashire