Quickly rename the current document

rename_doc()