Thanks, @jakedane! Yes, I think that’s the same proposal.
Both the activities overview and the workspace previews in the app grid work just fine with the extensions. I don’t think the dynamic workspace indicator could be set vertically or to a grid. I simply disable it right now.
