Getting rid of the MenuEditor extension (#1596)