Updates to the docs, mostly removing old stuff