On Tue, Jan 28, 2014 at 06:43:30AM -0800, Felix S Klock II wrote:
> @nikomatsakis obviously you need to change the other occurrences of the bad url. :)

Done