As a result of the issues described in https://github.com/spring-projects/spring-framework/issues/30481#issuecomment-1559472372, we'll leave the antora task to be invoked explicitly in local environments, but we'll want to make sure it always runs on the CI server mainly to catch documentation issues.