WordPress replacing all line breaks in comments with “rn”

The above answer (“So it turns out”) turns out not to be the answer after all. With the fix described there, comments that I submitted were rendered correctly but comments that others submitted were not (even though I was submitting through the same comment interface that everyone else was). Go figure.

Anyway, the real fix turns out to be to restore wp-comments-post.php to its original form (eliminating the str_replace that I had added per the earlier answer) and to turn to a file called comments.php (which is part of the K2 theme), where the problem was solved by replacing the line

<?php comment_text(); ?>

with

<?php nl2br(comment_text());  ?>

This definitely works. Why it was suddenly necessary remains a great mystery.