The 1.8.0 release commit kept the display_version that names the unversioned master docs, so the docs site labels 1.8 as "master" in its version menu. The tag itself can't change, so this commit carries the fix for a v1.8.0-antora tag that only the docs site consumes.