So what's the likelihood that we'll see this optimization make it into PostgreSQL core?

That would be an amazing performance improvement.