In this case, all links within messages receive underlines. That itself may be inconsistent, but user mentions aren't inconsistent with other links. AFAIK, this isn't something that's come up since 1.0, so I don't see a pressing need for a change at this point.