Sorry to follow up to my own post, but one fact I forgot to add: this is
not, in fact, a real memory leak. Once the query completes (or is
cancelled), memory utilization of the postgres process drops back to
effectively 0, i.e. all the used memory is freed. Which is why I called
it a memory-leak-like effect.
Brian