Remove lingering old docs.