Tweet · 14 Oct 2020, 02:35 UTC

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