pg_dump was trying to use an incorrect (or, perhaps, only obsolete?)

syntax for CREATE OPERATOR with SORT parameters.  Fixed.
It is now actually possible to dump and reload a database containing
fully specified user-definable operators ...