docs: fix incorrect annotation names#937

oetr merged 1 commit intoCodeIntelligenceTesting:mainCodeIntelligenceTesting/jazzer:mainfrom

Marcono1234:patch-1Copy head branch name to clipboard