+Changed name of setting lockDir (previously called lockPath) and
+setTmpDir (previously called tempSetPath).
+
+Generalized and changed record type specifications. In short, there are:
+ text plain SUTRS
+ grs.sgml structured, "SGML-like" syntax
+ grs.regx.<filter> structured, Regular expression filter
+
+Bug fix: Result sets weren't sorted in operations involving boolean
+operations with "ranked" operands.