OK, WordPress Experts, help needed.

I am running Twenty Eleven and I want to add the following info to the comment section:

You may use these HTML tags and attributes: <​a href=”” title=””> <​abbr title=””> <​acronym title=””> <​b> <​blockquote cite=””> <​cite> <​code> <​del datetime=””> <​em> <​i> <​q cite=””> <​strike> <​strong>

I know I have to edit but, WHERE?