A chrome plugin to update a few things in the gmail UI