On Thu, Jul 02, 2020 at 07:36:54PM +0200, Dirk Hünniger wrote: > Hi, > > the problem does not appear on my ubuntu 20.04 running mediawiki2latex 7.40
$ dpkg -s mediawiki2latex|head Package: mediawiki2latex Status: install ok installed Priority: optional Section: misc Installed-Size: 33384 Maintainer: Dirk Huenniger <dirk.hunni...@googlemail.com> Architecture: amd64 Version: 7.40-1 [..snip..]