Episode 1222: Firefox: Shrink Your Most-Used Tabs