Get rid of stale files.
Some docs cleanup.