So I wrote another extension:
Well I like to promote my work, ok . But this very recent one seems to have some quite happy feedback.
It simply replaces Activities button with workspaces buttons. It’s a tiny extension but I feel it makes Activities button a more useful place. Through Ubuntu scope, it’s not a supplementary Ubuntu Dock’s layer.