push diff: quote_ident used, pg_comparator quoting workaround rendered useless.