Minor updates to our documentation [ci skip].