I cannot get to this page (for last 20 minutes):<br>  <a href="https://projects.coin-or.org/Dip">https://projects.coin-or.org/Dip</a><br><br>Oddly, I can get to: <a href="http://www.coin-or.org/projects/Dip.xml">http://www.coin-or.org/projects/Dip.xml</a><br>