> Are you ok with our implementing that warning now?

Apparently, noone's interested in doing that, so I suggest the patch below.


        Stefan