More documentation tweaks
[ci skip]