`just down` targets the prod profile regardless of whether the dev or prod stack is running, which is inconsistent with `just up`.
just downtargets the prod profile regardless of whether the dev or prod stack is running, which is inconsistent withjust up.