--- texk/tex4htk/tex4ht.c.orig	2016-10-24 01:47:40.620666159 +0200
+++ texk/tex4htk/tex4ht.c	2016-10-24 01:50:29.023550246 +0200
@@ -6809,8 +6809,8 @@
     ||
     ((ch != 
 2 
-) && (ch != 
-5
+) && (ch > 
+10
 
 ))
   )  bad_dvi;