HTMLTagNames: Prettify<keyof HTMLElementTagNameMap>

Jodit PRO

If you like Jodit - try Jodit PRO