Should the flags be marked manual?

[quasicomputational]

In ghc-exactprint.cabal, the flags dev and roundtrip are automatic, meaning that cabal-install will twiddle them on or off if it feels like it. However, both of them look like they shouldn't be touched automatically, and should be left up to the user to set - i.e., have manual: True.