[doc] Fix documentation errors
Passed
created pipeline for commit
f70730cf
, finished
1 related merge request: !105 [credible region] Added implementation to return the credible region for the...
8 minutes 16 seconds, queued for 2 seconds