Ben Sturmfels at 2017-07-04T12:52:42Z
Thanks for all the interesting links that you post! I don't use the web client myself, but it seems strange that it doesn't hyperlink the URLs that you include. That would be a nice feature to have.