Ok, url changed from http://arxiv.org/pdf/1406.1886.pdf. We should probably write code to do that conversion automatically, since this has come up from time to time.