In that case, since you’ve made sure you won’t be running into issue of this deprecation, filter out the warning.
Other users should still be notified, that the div op changed its behavior and should be careful about their code, as it could suddenly break in later releases and could create a debugging hell (e.g. model is not converging anymore).