Comment Comment by variety Someething like a github repo for every arXiv submission - shouldn't be that hard to do. parent variety 16 years ago