Firefox add-on to eliminate all duplicate tabs