Fix url, add working mirror, and minor improvements