In the wake of c028faf2, this is no longer needed. I left it out of that patch since the API change would be undesirable in a released branch; but there's no reason not to do it in HEAD.
Attach a file by drag & drop or click to upload