Fix corelist generation section of the release manager documentation.