https://1tricky.blogspot.com/2022/07/10-best-xmlhtml-editor-apps-for-android.html