It probably doesn't matter much, but there's no harm in a normal deprecation.