Cool, I had the same issue with HTML chars in rss titles.
Your post helped me a lot
In a child theme, you can do:
body:before,
body:after {
display: none !important;
}
.site {
margin: 0;
}
To remove comment notes about HTML tags, you can edit the comments.php template and add at the end, in the call to comment_form():
comment_form( array(
...,
'comment_notes_after' => ''
) );
You can add in function.php to comment_editor() function:
wp_editor( '', 'comment', array(
....
'editor_height' => 150 // for example
) );
Perhaps, it could be a new option in a next version.