[cylinder714]

dang, could you perhaps insert "[Shen]" in the title?

[dang]

I've taken a crack at coherently putting Shen up there but if someone has a better idea, let me know.

[dredmorbius]

<https://news.ycombinator.com/item?id=36526450>

[cylinder714]

Thanks, I emailed him.