The manual says that the File Manager can rename files, but I can't find this on the menu. Am I missing something obvious?