Calling this something like `copyWithPrecedenceDisabled()`, and similar for other methods that return copies, makes it clear that we're not mutating the Application instance itself, but providing a copy that differs in a particular way.