html rendering of djot example looks messed up

<>

Looks like it goes bad after the {-strikethrough-} line in the example

breck: ah nice catch. I am currently making a big push to get PLDB building lightning fast. painful to debug this right now b/c its building so slow :(