I wonder if now is the right time for me to close the issue? Thanks to Brett Meyer's (and my) work, it seems to be fixed in the 4.3 beta.