You’re absolutely right: those commands only work with the old Play mode, and should be removed from the menus from the time being until such time as we get them working again in the rebuilt Play mode. I’ll make sure this gets taken care of.
You’re absolutely right: those commands only work with the old Play mode, and should be removed from the menus from the time being until such time as we get them working again in the rebuilt Play mode. I’ll make sure this gets taken care of.