html5lib/sanitizer.py misses some MathML elements and attributes. In particular the semantics/annotation/annotation-xml elements required to fix a very old planet bug (https://umn0mtkzgg4arqkjxpx780qm2jm9ht5dvym31c2h.julianrbryant.com/blog/frederic/?post/2013/01/22/Analysis-of-Lithium-s-algorithm#c142). See https://github.com/html5lib/html5lib-python/pull/181