Added a more reliable mirror.

The formula url is always having technical issues, please note that it's from 2010 ! ,so it might be a good idea to add a mirror now. #3466