Re: Nathan Bossart> This should be back-patched to v14. Note that we are preparing to> removing refint completely in v20, but IMHO this doc update is still> worth doing.
I suggest mentioning the deprecation in the same place.
Christoph