Revert "Update Antora version"