Incremented version and fixed doc

3 jobs for !9 with dev in 18 minutes and 11 seconds (queued for 3 seconds)
merge request