Should I move this to a pgsql-hackers discussion? I noticed that jsonb also
appears to keep the last JSON entry in the face of multiple keys, so it'd
be nice to have something more usable. I'm not much of a C programmer, but
I think I see how to rename the second fields to Sort Workers if this
solution is acceptable. Looking at the code in explain.c, there do not
appear to be any other EXPLAIN node fields in a similar situation (I
grepped for ExplainOpenGroup and "Workers" is the only one that occurs
twice).