shared-mime-info 1.14/master identifies HTML file as XML
shared-mime-info identifies this Main.html file as application/xhtml+xml
This causes the web inspector of WebKitGTK to be broken
Related: https://bugs.webkit.org/show_bug.cgi?id=202321
This issue is happening since shared-mime-info commit 8ae13a58