useful firefox extension: undoclosetab