See https://github.com/spring-io/antora-ui-spring/milestone/5?closed=1
Comment From: bclozel
Thanks a lot @rwinch !