Some updates to our documentation [ci skip].