General housekeeping of the docs.