html5lib vs mypy | What are the differences? | StackShare