Bump antora from 3.2.0-alpha.8 to 3.2.0-alpha.9 in /docs

Bump antora from 3.2.0-alpha.8 to 3.2.0-alpha.9 in /docs #1737