Remove some stale docs