> This patch was marked as RFC on 2019-03-30, but since then there have 
> been a couple more issues pointed out in a review by Thomas Munro, and 
> it went through 2019-09 and 2019-11 without any attention. Is the RFC 
> status still appropriate?
Thomas review was about comments/documentation wording and asking for 
explanations, which I think I addressed, and the code did not actually 
change, so I'm not sure that the "needs review" is really needed, but do 
as you feel.
-- 
Fabien