Tweet · 10 Jul 2017, 20:59 UTC

Replying to @null and @siilime, @JiminyPan, @dauwhe

I’m not convinced state-of-the-art XML parsers are faster than the state-of-the-art HTML parsers, and if they are I doubt it matters often!