Use antora-with-extensions docker image

1 job for main in 2 minutes and 43 seconds (queued for 10 seconds)