Apart from the typesetting, is this different from this submission from earlier in the day? https://news.ycombinator.com/item?id=13686519 https://news.ycombina

Apart from the typesetting, is this different from this submission from earlier in the day? https://news.ycombinator.com/item?id=13686519 https://news.ycombinator.com/item?id=13686519