Nix a bunch of docs

This nixes a bunch of redundant and irrelevant documentation and fixes
some minor issues.