Bump docs version to latest galaxy
bump docs version too. eventually this won't be needed.