Removed section about doc-code-verify