a chrome extension for tweaking the gmail interface