Firefox extension that lists all your open tabs in one html document