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.