> The most awful problem I'm seeing is that sometimes
> files are renamed as txt (the download window show
> them as being recognized as text/plain, and indeed
> adding a MIME type spec helps fixing them).

Fixed. Will be merged in the next subrelease:

--- htsname.c.orig      2007-06-15 20:15:56.188300212 +0200
+++ htsname.c   2007-06-15 20:12:54.000000000 +0200
@@ -395,7 +395,9 @@
               mime_from_file[0] = 0;
               get_httptype(opt, mime_from_file, fil, 1);
               if (!strnotempty(mime_from_file) || strcasecmp(mime_type,
mime_from_file) != 0) {    /* different mime for this type */
+                if (!may_unknown(opt, mime_type)) {
                 ext_chg = 1;
+                }
               } else {
                 ext_chg = 0;
               }