Error Mantis outdated link

Hi, the following link to mantis still to update to github, isn’t ?

index.php (admin folder)

echo '<p class="error">Sorry, an error occurred. This is a bug. Please <a href="">report the bug to the Bug Tracker</a><br/>Sorry for the inconvenience</a></p>';

Here, an other one: English info’ statsmgt.php file

<p>Post your comments and suggestions to <a href="">Mantis</a></p>