Some links in core @mainpage are incorrect

Drupal 7’s @mainpage (index.php in this project) are incorrect:
– Working with the Drupal API
– Example Modules
Drupal 8’s @mainpage is in core.api.php in Drupal core repository. The problems are not exactly present. In fact at present they do not exist, however there are links that are redirected on D.O hence in the future could be invalidated (ie with 9.x). Probably fine.
However, documentation project repository has an outdated index.php with @mainpage annotation. Since this is misleading/incorrect, I wonder if it should be removed?