Re: [basex-talk] DeepFS: using GUI; turning whitespace chop off