The source code of the google chrome extension "Tab Manager"