[ktm5j]

Yes, that's what they're talking about. It ends up wasting space to have your vertical tab sidebar without the ability to hide the default tab bar at the top of the window.