Robin Berjon @robinberjon · 14 Oct 2020 Replying to @knowtheory and @jkohlmann Yes, that's what we're looking at, basically. Thankfully, we don't have to reinvent HTML. Also, things have become bad enough that we do have a shot at reshaping some pretty bad parts. But it's still a hell of a play. ♥ 1↺ 1