The part of the documentation about the "ignore" command talks about "patterns". As far as I can see it never precisely says what kind of patterns these are - regexps, shell globs, fixed substrings, or what.
The reason I ask is I had "x-" as one of the patterns, precisely as the documentation suggests (in an offhand example). But Mario's posts from today have an X-URL header and it was not weeded. It is when I add "x-url" to the ignore. What gives? -- Please *no* private copies of mailing list or newsgroup messages. Rule 420: All persons more than eight miles high to leave the court.
