Those annotations create enormous clutter in diff views on GitHub, making PR reviews complicated. Since we are currently not headed toward 100% coverage, they provide little benefit.