CI and documentation improvements, pre v9.0.0

Eric Gallimorerequested to merge
devel into master

Incorporates !93 (merged), !94 (merged)

Merge request reports