Remove Comments Feed in WordPress

Removing the comments feed in WordPress is actually easy despite the obscure instructions for doing so.

I certify that as of WordPress 3.4.1, this definitely works.

function remove_comments_rss( $for_comments ) {
    return;
}
add_filter('post_comments_feed_link','remove_comments_rss');

Update: If you have automatic feed links enabled, this will not work. So who knows.