Hi there!

Not sure if this is the most appropriate place to adress the issue, butI was trying to obtain the latest release of Eigen via the download links in the wiki. Unfortunately, all of them redirect to a 502 Bad Gateway page Could someone take a look? Much appreciated!