Simple and effective

I recently started using this to add <video> elements to post content because the standard WordPress [video] shortcode doesn’t include some of the meta attributes of the <video> HTML element (like mute and playsinline, both of which help autoplay videos work). I assume this would be great for any weird HTML things you want to insert that might get messed up by the WordPress formatting. I like this plugin better than some similar ones because it lets you edit the code within the post rather than having to go to a separate plugin page.