Fix Greeter
and run documentation tests in CI
#773
Merged
Greeter
and run documentation tests in CI
#773