[chisquared]

There’s no need for this extension: https://news.ycombinator.com/item?id=42425681

[jacobolus]

Well the whole point here is that we're doing geometry. If you just want to do symbol twiddling you don't need the picture at all.