You'd think that having "This file is generated by dune, edit dune-project instead" at the top of the opam file would lead to people editing dune-project instead. You'd be wrong