To be more precise, the file riledesmag refers to is called “comment-template.php” and it’s inside the “wp-includes” folder. The form to edit is at the bottom of the comment-template.php page.
That is, if using wp 3.2.1. Otherwise you’ll be wasting time – like me, looking for a file that does not exist.
cheers!