Dear BaseX team, I want to ask you how to use the class AlterDB to change a database name. It always throws the exception DB_PINNED_X although I use "unpin" before using AlterDB. I found the problem is that the method TableDiskAccess.locked(db, this) always returns "true". Please see the attachment and help me solve the problem. Thanks in advance.