When viewing an HTML file, there's a submenu option to switch between "Text" and "Html" formatting. Should we change that capitalization to "HTML"?

See for yourself.

Here's the patch to change over to "HTML":

--- src/info.c
+++ src/info.c
@@ -2406,11 +2406,11 @@
   }
   zMime = mimetype_from_name(blob_str(&downloadName));
   if( zMime ){
     if( fossil_strcmp(zMime, "text/html")==0 ){
       if( asText ){
-        style_submenu_element("Html", "%s", url_render(&url, "txt", 0, 0, 0));
+        style_submenu_element("HTML", "%s", url_render(&url, "txt", 0, 0, 0));
       }else{
         renderAsHtml = 1;
         style_submenu_element("Text", "%s", url_render(&url, "txt", "1", 0, 0));
       }
     }else if( fossil_strcmp(zMime, "text/x-fossil-wiki")==0

Or see this check-in.

I was going to just check this in directly to trunk but then thought that maybe it's "Html" because someone preferred it that way, so instead let's talk about it.