A productivity-enhancing Chrome extension.