[MOD] XQuery, subsequence: value and iter methods unified
[MIN] Rewritings for speeding up loops.
[FIX] GUI: Highlight full-text hits