drupal_mail() description comment contains html link

includes/common.inc, line 1895:

/*
 * Send an e-mail message, using Drupal variables and default settings.
 * More information in the <a href="http://php.net/manual/en/function.mail.php">
 * PHP function reference for mail()</a>

HTML is escaped in the API, and the function is automatically linked anyway. The result is this: http://api.drupal.org/api/5/function/drupal_mail. Is there another place than the API where the link is actually shown as intended?

If it isn't, here's a patch that removes the HTML.