Re: Antora for Docs: making sure our contributors are on board