Merge "Change PyPI merge repo default and fix doc URL"