Remove ToC as Menu setting from Advanced Settings

From #4296.