[doc] fix doc extra marker

6 jobs for fix_doc in 47 minutes and 28 seconds (queued for 6 minutes and 31 seconds)