Now that I think about it, we could adjust the feature as following: Instead of ignoring the rule completely, we could make it a normal instead of a promote rule. _Originally posted by @rgrinberg in https://github.com/ocaml/dune/issues/8662#issuecomment-1723020909_