Re #6199. deepRemove removes all workspace copies from ADS.