Kristopher Lagraff

This plugin removes the HTML editor from admin dashboard for restricted access to the theme files.

Remove HTML editor from admin dashboard

This plugin will remove the HTML editor from the admin dashboard

David Klhufek

This simple plugin adds useful buttons to the native WordPress HTML editor (Classic Editor).
Currently adds: 
h1, h2, h3, h4, h5, span, hr, nbsp, mox
The “mox” button adds a nice responsive CSS class which you can use to highlight pictures or other elements in your posts.
Note: This plugin works only with the Classic Editor. It does not support the new Gutenberg (Block Editor).
<h3>Compatibility</h3>
<ul>
<li>Requires the Classic Editor to be active. </li>
<li>Designed specifically for the HTML mode of the editor.</li>
</ul>

Quicktags for WP

This simple plugin adds useful buttons to the native WordPress HTML editor.

Remove HTML editor from admin dashboard vs Quicktags for WP