[basex-talk] GUI no longer pretty-printing?