Admin widget on the Add/Edit Post pages for inserting HTML entity encodings of special characters into the post.