Some minor updates to our documentation [ci skip].