I found function renameTable for renaming a DFS table in DolphinDB, but I cannot find a function to rename a DFS database. If I have to rename a DFS database, how can I do i