This is merely a cleanup after working with Antora for some time. Simplify paths, use Antora defaults and add support for making a local build of the manual if need be.
Fix some links flagged by linkchecking tasks, notably walk around that the android plugin is unavailable at the Play Store.
Provisions for the Edit This Page link which will work if/when is PR is accepted and the corresponding changes are made in the central configuration
This is merely a cleanup after working with Antora for some time. Simplify paths, use Antora defaults and add support for making a local build of the manual if need be.
Fix some links flagged by linkchecking tasks, notably walk around that the android plugin is unavailable at the Play Store.
Provisions for the Edit This Page link which will work if/when is PR is accepted and the corresponding changes are made in the central configuration