Issue #694: Use the HPO version published by obolibrary.org as the default version to reindex instead of the latest HPO build
Done.