Looks good to me.
I like the renamings and I look forward to taking a look at how the locking changes play out

One minor issue I have is: in the GUI editor Mouse-down+ drag is not selecting text. This is on Win10 with a trackpad and Java version as below.

/Andy

IMPLEMENTOR="Eclipse Adoptium"
IMPLEMENTOR_VERSION="Temurin-11.0.15+10"
JAVA_VERSION="11.0.15"
JAVA_VERSION_DATE="2022-04-19"


On Tue, 2 Aug 2022 at 08:14, Marco Lettere <m.lettere@gmail.com> wrote:
THANKS!

M.

On 01/08/22 15:27, Christian Grün wrote:
> Dear all,
>
> It’s been around 15 years ago when the first Open-Source version of
> BaseX was released. Thanks to the continuous support of all of you, we
> are thrilled today to announce the first double-digit version of our
> XML framework:
>
>    https://basex.org/
>
> BaseX 10 assists you with your everyday data challenges with some
> great new features:
>
> STORAGE
>
> • Beside XML Documents and Binary Data, you can use the new »XQuery
> Values« resource type to store arbitrary items and sequences in
> databases.
> • General data (registered users, scheduled services, and key-value
> stores) can now be backed up as well.
> • Mixed-content developers will be delighted: Whitespaces are now
> preserved by default.
>
> XQUERY
>
> • Database locking has been improved by splitting up XQuery
> compilation into a static and dynamic step.
> • A new Store Module allows you to organize values in a persistent
> main-memory key-value store.
> • You can store and retrieve XQuery values with db:put-value and db:get-value.
> • When serializing XML, indentation is now turned off by default.
>
> GENERAL
>
> • BaseX 10 requires Java 11 to run.
> • The GUI comes with improved HiDPI support, new icons and improved consistency.
> • All HTTP requests are now based on the new Java HTTP client.
> • Catalog support is now universal and based on either the new XML
> Catalog API or Norman Walsh’s excellent XML Resolver.
> • The default ports for web applications were changed from 8984/8985
> to 8080/8081.
> • The default admin password was removed to improve security.
> • Results of the REST API are now wrapped in the default REST namespace.
>
> We have taken the version jump as an opportunity to rename various
> existing functions and commands. The database storage has not changed:
> Databases created with BaseX 10 are backward compatible and can still
> be opened with BaseX 9.
>
> Visit our documentation for more details, and information on how to
> upgrade your existing applications:
>
>    https://docs.basex.org/wiki/BaseX_10
>
> Have fun!
> Your BaseX Team