...if this had been a real emergency, something would have happened.

[waider]

Since I'm awake... took the opportunity to check my mail, discovered Korean spam, checked my filter, discovered why it wasn't blocking it (regexp: .*(, not (.* which is completely obvious, right?), fixed it.

I need to buy a life somewhere. Adjusting filters at 6:30 am so that junk gets auto-filed in the bin is not a healthy thing by any stretch of the imagination.