Has drop-empty-elements been replaced with a different flag? If I use the older experimental state of the tree, https://github.com/htacg/tidy-html5/tree/c63cc39, drop-empty-elements works fine. If I use master, no beans.