In the functions.php, I saw a function delete_directory. How can I use that? There's no delete button in the UI.