Pasha sent a 2nd file with their server-side changes. It looks like
there is only one substantive change in report.inc:
- do_pg_query("set sort_mem = '256MB';");
+ do_pg_query("set sort_mem = 256;");
Pasha -- what was this change for? Does a knob for this change need
to be added to config.inc?