Clarify docs

12 jobs for minidocs in 13 minutes and 46 seconds (queued for 3 seconds)