Hi all,What is the best way to upgrade BaseX on a production server?My current version is 11.1 and I'd like to upgrade to the latest.My gut feeling is that all it takes to overwrite the following (and leave everything else):bin/
etc/
lib/
BaseX.jar
... and then restart the http server.
Any thoughts?
Thanks