Is there a Safari extension to provide a drop-down menu listing all tabs, or shows all tabs in the tab bar? Safari used to have a dropdown on the right-hand side of the tab bar listing tabs. In Safari 9, that's gone, and instead all tabs are present in the tab bar, with many being almost or completely obscured. It seems to keep a few visible and then the ones on both sides are compressed or "behind" others. (From a UI point of view, this is very frustrating and makes clicking to select a tab very difficult.)

Is there an extension that provides either:


A drop-down menu listing all tabs, so that clicking it will show that tab
All tabs are always shown on the tab bar, and their size shrinks as more are opened? (This matches Chrome's behaviour.)


There used to be extensions to do the first in the Safari 5/6 era, but the ones I googled for haven't been updated since. Ideally, though, I'd prefer to copy Chrome's behaviour - it is useable and clear.
The TabList extension provides a dropdown list of open tabs (also recently closed ones).