remove some stale docs