[basex-talk] Best way to upgrade from 8.2.3 to 8.3?