, Charles wrote

@Bas: Ignore function is in our feature request database.

And after being there for about 8 years, none of us really expect it to ever get implemented anymore. Wink