fix ci by updating docs after renaming