Por si a alguien le interesa: …

Por si a alguien le interesa: en el archivo wp-includes/comment-template.php, línea 1270 de WPMU, aparece esto: «%1$s at %2$s»