[core][doc] minor fixes

2 jobs for docedit in 27 minutes and 16 seconds (queued for 3 seconds)