So comments by default allow some HTML formatting, but not sure how to tell that to visitors/commenters? Comment Editor does not contain any buttons like here in WPTavern or any description/info about that.