This technically was 0.9.1, but we didn't technically release it
because we changed the docs slightly after the 0.9.1 tarballs were out
on www.open-mpi.org (and possibly the mirrors) for about an hour.

This commit was SVN r1289.