Dino menu does not appear

I created the collaborative demo and it works great. I also created the dino demo and used the code online without change. While the editor appears and works fine, the dino menu does not appear in the menubar. No errors are reported in the console. I get the same behavior in both Firefox and Chrome. Where can I look to resolve this issue?

Found the problem. I removed the info line and replaced it with menuGroup and menuRank directly. //info: {menuGroup: “inline”, menuRank: 99}
menuGroup: “inline”, menuRank: 99

Indeed. This was fixed by this pull request in the meantime. And I’ve also fixed a number of other issues where the demos were using changed APIs. (There might be more, do report when something appears broken.)