I don't think it's worth doing anything.
Agreed, though I'll comply when doing someone else's site if they've heard of that trick and ask for it.
Actually in the long run,
<?php mailto("somebody@example.com"); ?> is easier than
<a href="mailto:somebody@example.com">somebody@example.com</a>