fix docs

3 jobs for !7 with fix_docs in 37 seconds (queued for 2 seconds)
latest merge request