Also, how would we finalize this deprecation in the future? Is it just implicit that if it was deprecated in 1.0.0, we are allowed to remove it in 1.1.0?