Is there any way to retrieve the date/time a document was pushed into a BaseX database? We have an external tool that needs to sync a folder holding XML files with a BaseX database (and we don't want to reload the entire content each time). Not an issue for new or deleted files but would like to be able to determine if a file/document in the DB is outdated. Note that a db/folder 'sync' feature could be nice to have as built-in feature. Thanks! *P