minor cleanups in import_repo_docs script