https://ex-themes.com/how-to-switch-by-default-the-wordpress-editor-to-html/