Update manual/code-ide/ds-5 docs.