Consider Antora to generate the site #57
Description
Investigate what https://antora.org/ can do for us, is it worth spending time on (adds modern design etc.)?
As an alternative to #30
{{ message }}
Investigate what https://antora.org/ can do for us, is it worth spending time on (adds modern design etc.)?
As an alternative to #30