This feature request has been migrated from artifact #734 on forge.ocamlcore.org. It was assigned to user102.
We should check that the edited _oasis is still valid after edition.