https://easytechtips.pages.dev/posts/transform-gedit-into-a-web-developer-ide/