Last weekend, the menuing system got a total overhaul. Not a big thing, but something I had wanted to slot in for a while. It had been thrown together in haste, and it showed. The revised version is much cleaner, more extensible, and easier to parse both by humans and machines.
From the outside, it doesn't look any different; it's the same breadcrumb menu we had before. But under the hood, it's a whole new beast.
One thing I thought about was how it's still somewhat complex for a plugin to do things like add extra UI elements, but that's not something that must land in the first release. But it ought to be possible for plugins to hook menuing relatively easily from the git-go, and one of the first demo plugins should show how that's possible.