On Jan 16, 2010, at 6:44 PM, Aryeh Gregor wrote:
> On Fri, Jan 15, 2010 at 7:08 PM, Karl Dubost <karl+w3c@la-grange.net> wrote:
>> What a search engine should do?
>
> Ignore it.
>
>> What a wysiwyg authoring tool should do?
>
> Ignore it.
>
>> In this case, what about
>>
>> domhidden
>> pruned
>> domremoved
>> domcut
>
> I think the "dom" prefixes are confusing here, and "pruned" sounds
> weird. Something like "meaningless" or "ignore" might be better, if
> "hidden" sounds too visual -- I think it does, now that you point it
> out. "ignore" or "ignored" might better convey the intent.
The original name was "irrelevant", but that was hard to spell and hard to understand (flags with negative names tend to be confusing).
- Maciej