Document new "already-merged" rule for branch -d