EXPLAIN VERBOSE had a very high probability of triggering

a backend core dump, because it was concatenating a potentially long
string onto another string that didn't necessarily have enough room.
Shame, shame.