Fixes #7682. Improve doc.

3 jobs for master in 2 minutes and 40 seconds (queued for 3 seconds)