Merge "Clarify in docs that init --batch doesn't drop old database objects"