[doc] Insert the dev docs in the toc [applied]