Doug Evans <dje@transmeta.com> writes: [...] | True. In the meantime, if everyone is agreed this particular | variant of the warning contributes no value, can we remove it? I vote for its removal. The exceptional case Joseph mentionned earlier worths considering, however. -- Gaby