Alternatively, I wonder whether w3c-sgml-lib (which appears to be correct) could replace w3-dtd-mathml, in which case w3-dtd-mathml should be removed from Debian, as what had been done with w3c-dtd-xhtml.
-- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
