now that bugs in pg_operator that caused wrongly sorted results have
been corrected (I hope ... it works here, anyway).