Index: mimetex-1.75/mimetex.html =================================================================== --- mimetex-1.75.orig/mimetex.html 2017-07-11 08:04:54.000000000 +0200 +++ mimetex-1.75/mimetex.html 2017-11-23 09:03:15.000000000 +0100 @@ -459,8 +459,7 @@