https://easytechtips.pages.dev/posts/using-kate-as-a-web-editor/