because of tremendous server problems that are forcing me to migrate all my websites to another host, I'll be discontinuing zighinetto.org mirror of Open MPI. It's been a pleasure to share spare bandwidth across this time, but I currently need to discontinue the server and the new host (Azure) offers pay-per-use bandwidth. Sorry for the many outages so far. The mirror will be shut down in a few days. Bye.