Add missing section of doc file lost among repositories and conversions