Moved to /blog/2013/11/03/filter-for-twitter/.