deleting it would be fine as it is indeed no longer needed