As we start preparing releases, we need to think at some point about keeping versions of the docs around for older code versions. It's not critical now, but we need to have it in place before publishing anything on the code, I think. See #38 for a bit more discussion