doc-no-symbol.json:3: definition documentation required