improve docs

5 jobs for !98 with docs in 3 minutes and 46 seconds (queued for 19 seconds)
latest merge request