Comment by silon42

I wrote my own vertical tabs extension that handles 10k tabs... but yes, something like above is needed.