Discontinue local API docs?

[dhardy]

Rand has been publishing API docs via GH-pages since before docs.rs become "the standard source of docs".

This is still functional: https://rust-random.github.io/rand/rand/index.html

It represents the state of the master branch, not the state of the last release.

When last discussed, this still had significant value in that cross-crate links worked better here than on docs.rs. This issue is still not fixed on docs.rs.

Unfortunately it's also much less relevant here: both rand_core and rand_distr now live in their own repos.

We could:

1. Check out the latest versions of each repo when doing a GH-pages build. Unfortunately there is no guarantee that the latest version of each repo will work together.
2. Get rid of the GH pages. Does anyone still use them?
3. Leave as-is

[newpavlov]

I am in favor of the second option.