It would be neat to add spilled bytes to the metrics reported by ExternalSorter so that they appeared in EXPLAIN ANALYZE, for example.