Remove obsolete docs.