Since this controls how the editor works, it seems like this menu item belongs in the Edit menu.

@njx Where do you think this menu item belongs?