Minor title updates after renaming the repository