ci-release.sh was broken and might not have work to release docs+dist