Clean up obsolete docs.