A certain gmail Filter suddenly stopped working on February 25, 2013. I only noticed a month later, after missing several important emails. The issue with Filter on this particular string is confirmed with one other user, not just my accounts.

If you happen to have followed the tip in this thread, you better check your gmail aliases!

https://news.ycombinator.com/item?id=4621666