Fixed in git, commit fc42ab9b, by not excluding the speller, linter and formatter from the main menu in restricted mode.  In former times, the Spell Checker was quite near the beginning in the main menu, and we didn't want it to be shown in restricted mode when it could not be used anyhow.  But since the Execute item took the place of Spell Checking, it is fine to show the Spell Checker also in restricted mode, because it is so far away in the main menu that it will only be shown when the terminal has at least 550 columns.  Very few people will have such a wide terminal.

(The issue persists, though, for the Append, Prepend, and Backup toggles in the Write-Out menu.  But... I don't see how that can be fixed.  Probably/hopefully it is never a problem: who uses those toggles anyway, and who would want to rebind them?)