Tidy up top-level documentation

Ignore this. Borked PR.