Doesn't gmail handle this really well? It doesn't change often, so it should be too hard to build a filter.