What about adding version information to db:system() and another function db:version() to be able to retrieve version information in an xquery-processable manner?
Good point; I think I'll add the version number to the INFO command output. As a result, it will also be retrievabe via db:system().
Done; feel free to check out the latest snapshot.
Christian