Auto-update docs index

Author: GitHub Actions Bot

docs-index.html

@@ -51,7 +51,7 @@ <h1>Documentation Files</h1>
 <li><a href="https://raw.githubusercontent.com/DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/master/docs/third-part-extension-notice.md" target="_blank">third-part-extension-notice.md</a></li>
 <li><a href="https://raw.githubusercontent.com/DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/master/docs/unary.md" target="_blank">unary.md</a></li>
 <li><a href="https://raw.githubusercontent.com/DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/master/docs/underscore_public_properties_and_methods.md" target="_blank">underscore_public_properties_and_methods.md</a></li>
-<li><a href="https://raw.githubusercontent.com/DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/master/docs/using_help_annotations_correctly.md" target="_blank">using_help_annotations_correctly.md</a></li>
+<li><a href="https://raw.githubusercontent.com/DeveloperTryingToCodeLikeOtherOfThem/pxt-hardware-programming-docs/master/docs/using_help_annotations.md" target="_blank">using_help_annotations.md</a></li>
     </ul>
   </body>
 </html>