Index: tags-html.rkt
==================================================================
--- tags-html.rkt
+++ tags-html.rkt
@@ -88,11 +88,10 @@
                      #:exclude-tags '(script style figure table pre)))
   (define second-pass
     (decode-elements first-pass
                      #:block-txexpr-proc detect-newthoughts
                      #:inline-txexpr-proc decode-link-urls
-                     #:string-proc (compose1 smart-quotes smart-dashes)
                      #:exclude-tags '(script style pre code)))
   `(body ,@second-pass))
 
 (define (html-blockcode attrs elems)
   (define file (or (assoc 'filename attrs) ""))